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-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1336
c lw 2032
c lw 2877
c lw 3616
c lw 4312
c lw 5230
c lw 5232
c lw 5233
c lw 6084
c lw 7346
c lw 8362
c lw 9194
c lw 10997
c lw 11524
c lw 12096
c lw 13540
c lw 13821
c lw 13882
c lw 14673
c lw 15934
c lw 16347
c lw 16552
c lw 17876
c lw 18163
c lw 19161
c lw 20290
c lw 20487
c lw 20988
c lw 21657
c lw 22832
c lw 24378
c lw 24913
c lw 26585
c lw 27095
c lw 27327
c lw 27698
c lw 28802
c lw 29369
c lw 29985
c lw 30032
c lw 30991
c lw 31093
c lw 32125
c lw 33720
c lw 34995
c lw 35369
c lw 37006
c lw 37145
c lw 38587
c lw 38644
c lw 39014
c lw 39498
c lw 40090
c lw 40754
c lw 41094
c lw 42403
c lw 42494
c lw 43214
c lw 44333
c lw 44595
c lw 45447
c lw 46462
c lw 46596
c lw 46853
c lw 47228
c lw 47565
c lw 47820
c lw 47855
c lw 48314
c lw 48502
c lw 48578
c lw 48962
c lw 49010
c lw 49344
c lw 49568
c lw 49591
c lw 49756
c lw 50324
c lw 50552
c lw 50715
c lw 51616
c lw 51919
c lw 51941
c lw 52474
c lw 52526
c lw 53386
c lw 53423
c lw 53447
c lw 53996
c lw 54196
c lw 54870
c lw 55788
c lw 55831
c lw 56522
c lw 57302
c lw 57334
c lw 58140
c lw 58294
c lw 59628
c lw 59649
c lw 60251
c lw 60402
c lw 60485
c lw 60721
c lw 60927
c lw 61497
c lw 61735
c lw 62311
c lw 62579
c lw 62778
c lw 63239
c lw 63494
c lw 64438
c lw 65735
c lw 65981
c lw 66695
c lw 66967
c lw 67065
c lw 67080
c lw 67420
c lw 68076
c lw 68306
c lw 68436
c lw 68527
c lw 68983
c lw 69226
c lw 69649
c lw 70315
c lw 70375
c lw 70484
c lw 71030
c lw 71128
c lw 71427
c lw 71571
c lw 72241
c lw 72688
c lw 73091
c lw 73470
c lw 74206
c lw 74591
c lw 75005
c lw 75098
c lw 75329
c lw 75692
c lw 75793
c lw 76190
c lw 76332
c lw 76602
c lw 76736
c lw 76771
c lw 77095
c lw 77205
c lw 77611
c lw 78293
c lw 78300
c lw 78463
c lw 78980
c lw 79078
c lw 79374
c lw 80608
c lw 80875
c lw 80919
c lw 81000
c lw 81986
c lw 82022
c lw 82030
c lw 82082
c lw 82639
c lw 82663
c lw 82826
c lw 82983
c lw 83183
c lw 83581
c lw 83857
c lw 84019
c lw 84480
c lw 84624
c lw 84883
c lw 84983
c lw 85171
c lw 85461
c lw 86129
c lw 86161
c lw 86432
c lw 86569
c lw 86640
c lw 86656
c lw 86737
c lw 87079
c lw 87115
c lw 88275
c lw 88602
c lw 88657
c lw 88730
c lw 89168
c lw 89636
c lw 90205
c lw 90569
c lw 91106
c lw 91311
c lw 91343
c lw 91345
c lw 91542
c lw 91969
c lw 92110
c lw 92174
c lw 92218
c lw 92227
c lw 92790
c lw 92840
c lw 93071
c lw 93087
c lw 93106
c lw 93245
c lw 93296
c lw 93311
c lw 93332
c lw 93483
c lw 93768
c lw 93851
c lw 93971
c lw 94177
c lw 94292
c lw 94773
c lw 94871
c lw 94947
c lw 95612
c lw 95773
c lw 96719
c lw 96905
c lw 97277
c lw 97510
c lw 97532
c lw 97702
c lw 97957
c lw 98308
c lw 98761
c lw 98810
c lw 99168
c lw 99273
c lw 100731
c lw 100785
c lw 100813
c lw 101048
c lw 101347
c lw 101348
c lw 101739
c lw 101769
c lw 101784
c lw 101944
c lw 102264
c lw 102411
c lw 102661
c lw 102704
c lw 102730
c lw 102904
c lw 103003
c lw 103018
c lw 103699
c lw 103761
c lw 104247
c lw 104358
c lw 104447
c lw 104656
c lw 104753
c lw 104858
c lw 104895
c lw 105379
c lw 105527
c lw 105543
c lw 105625
c lw 105749
c lw 105751
c lw 105760
c lw 105902
c lw 106030
c lw 106164
c lw 106400
c lw 106419
c lw 106450
c lw 106613
c lw 106775
c lw 106778
c lw 107553
c lw 107805
c lw 108923
c lw 109163
c lw 109214
c lw 109407
c lw 109448
c lw 109834
c lw 110235
c lw 110268
c lw 110318
c lw 110433
c lw 110601
c lw 110684
c lw 110710
c lw 111614
c lw 111890
c lw 111892
c lw 112562
c lw 113245
c lw 113359
c lw 113806
c lw 113957
c lw 114405
c lw 114440
c lw 114768
c lw 114870
c lw 114911
c lw 115370
c lw 116211
c lw 116354
c lw 116387
c lw 116424
c lw 116577
c lw 117175
c lw 117342
c lw 117544
c lw 117567
c lw 117698
c lw 118089
c lw 118096
c lw 118143
c lw 118294
c lw 118322
c lw 118444
c lw 118456
c lw 119068
c lw 119085
c lw 119097
c lw 119104
c lw 119114
c lw 119778
c lw 119785
c lw 120114
c lw 120329
c lw 120512
c lw 121083
c lw 121282
c lw 121319
c lw 121695
c lw 121788
c lw 122016
c lw 122790
c lw 122963
c lw 122988
c lw 123825
c lw 123889
c lw 123960
c lw 124780
c lw 124956
c lw 125113
c lw 125259
c lw 125588
c lw 125705
c lw 126319
c lw 126402
c lw 127436
c lw 127492
c lw 127549
c lw 127732
c lw 127912
c lw 128025
c lw 128081
c lw 128254
c lw 128255
c lw 128448
c lw 128549
c lw 128658
c lw 128773
c lw 128779
c lw 128780
c lw 128788
c lw 129110
c lw 129197
c lw 129435
c lw 129574
c lw 129936
c lw 130108
c lw 130489
c lw 130567
c lw 130683
c lw 130818
c lw 131006
c lw 131132
c lw 131306
c lw 131382
c lw 131706
c lw 131728
c lw 132112
c lw 132418
c lw 132500
c lw 132542
c lw 132716
c lw 132995
c lw 133265
c lw 133337
c lw 133505
c lw 134137
c lw 134140
c lw 134183
c lw 134301
c lw 134678
c lw 134763
c lw 135109
c lw 135645
c lw 135758
c lw 135921
c lw 135961
c lw 136160
c lw 136478
c lw 136594
c lw 136806
c lw 137365
c lw 137773
c lw 137904
c lw 137987
c lw 138053
c lw 138415
c lw 138463
c lw 138543
c lw 138547
c lw 138786
c lw 138814
c lw 139012
c lw 139590
c lw 140134
c lw 140334
c lw 140463
c lw 140577
c lw 140583
c lw 140743
c lw 140818
c lw 141383
c lw 141420
c lw 141737
c lw 142469
c lw 143390
c lw 143645
c lw 144008
c lw 144012
c lw 144203
c lw 144219
c lw 144332
c lw 144620
c lw 144865
c lw 144890
c lw 145068
c lw 145441
c lw 145496
c lw 145552
c lw 145800
c lw 145915
c lw 146169
c lw 146226
c lw 146238
c lw 146293
c lw 147038
c lw 147385
c lw 147500
c lw 147709
c lw 147765
c lw 147804
c lw 147927
c lw 148170
c lw 148532
c lw 149001
c lw 149427
c lw 149525
c lw 149590
c lw 149694
c lw 150039
c lw 150309
c lw 150602
c lw 150689
c lw 151176
c lw 151649
c lw 151877
c lw 151935
c lw 152470
c lw 152783
c lw 153051
c lw 153562
c lw 153851
c lw 153971
c lw 154907
c lw 155014
c lw 155163
c lw 155218
c lw 155266
c lw 155430
c lw 155849
c lw 156145
c lw 156225
c lw 157147
c lw 157153
c lw 157468
c lw 157522
c lw 158109
c lw 158497
c lw 158503
c lw 158511
c lw 158868
c lw 158937
c lw 158983
c lw 159727
c lw 159781
c lw 160109
c lw 160155
c lw 160178
c lw 160361
c lw 160465
c lw 160589
c lw 161134
c lw 161749
c lw 161884
c lw 161937
c lw 162417
c lw 162445
c lw 162451
c lw 162457
c lw 162461
c lw 162467
c lw 162474
c lw 162486
c lw 162492
c lw 162493
c lw 162501
c lw 162504
c lw 162511
c lw 162515
c lw 162521
c lw 162527
c lw 162528
c lw 162536
c lw 162538
c lw 162545
c lw 162557
c lw 162559
c lw 162609
c lw 162624
c lw 162627
c lw 162646
c lw 162667
c lw 162913
c lw 163499
c lw 163823
c lw 164019
c lw 164061
c lw 164586
c lw 164763
c lw 164833
c lw 164878
c lw 164913
c lw 164916
c lw 165257
c lw 166143
c lw 166185
c lw 166617
c lw 166643
c lw 167712
c lw 168043
c lw 168345
c lw 168432
c lw 168533
c lw 168586
c lw 168668
c lw 168795
c lw 168809
c lw 168817
c lw 168976
c lw 169014
c lw 169473
c lw 169556
c lw 169597
c lw 169608
c lw 169672
c lw 169771
c lw 169838
c lw 169853
c lw 170227
c lw 170567
c lw 170887
c lw 171688
c lw 171908
c lw 172044
c lw 172131
c lw 172548
c lw 172598
c lw 172795
c lw 173034
c lw 173519
c lw 173816
c lw 173866
c lw 174020
c lw 174428
c lw 174764
c lw 175147
c lw 175364
c lw 175996
c lw 176051
c lw 176112
c lw 176363
c lw 176589
c lw 176718
c lw 177302
c lw 177514
c lw 177587
c lw 177829
c lw 177953
c lw 178686
c lw 178774
c lw 179033
c lw 179053
c lw 179233
c lw 179376
c lw 179420
c lw 179649
c lw 180375
c lw 180392
c lw 180467
c lw 180485
c lw 180514
c lw 180770
c lw 180789
c lw 181271
c lw 182261
c lw 182371
c lw 182597
c lw 182640
c lw 182641
c lw 182699
c lw 182710
c lw 182716
c lw 182893
c lw 182991
c lw 183125
c lw 183270
c lw 183670
c lw 183693
c lw 183713
c lw 183788
c lw 183792
c lw 183808
c lw 183860
c lw 183871
c lw 183992
c lw 184016
c lw 184039
c lw 184058
c lw 184095
c lw 184119
c lw 184122
c lw 184172
c lw 184272
c lw 185165
c lw 185371
c lw 185455
c lw 185579
c lw 186168
c lw 186222
c lw 186355
c lw 186357
c lw 186361
c lw 186362
c lw 186363
c lw 186366
c lw 186369
c lw 186370
c lw 186371
c lw 186373
c lw 186375
c lw 186376
c lw 186377
c lw 186378
c lw 186379
c lw 186380
c lw 186387
c lw 186388
c lw 186389
c lw 186392
c lw 186393
c lw 186439
c lw 186440
c lw 186455
c lw 186456
c lw 186457
c lw 186458
c lw 186459
c lw 186466
c lw 186467
c lw 186468
c lw 186469
c lw 186470
c lw 186472
c lw 186473
c lw 186476
c lw 186477
c lw 186478
c lw 186480
c lw 186481
c lw 186482
c lw 186483
c lw 187099
c lw 187147
c lw 187193
c lw 187248
c lw 187485
c lw 187491
c lw 187585
c lw 187848
c lw 187856
c lw 187857
c lw 187859
c lw 187899
c lw 187974
c lw 187981
c lw 187984
c lw 188014
c lw 188094
c lw 188149
c lw 188199
c lw 188502
c lw 188505
c lw 189020
c lw 189109
c lw 189290
c lw 189606
c lw 189754
c lw 189927
c lw 190363
c lw 190514
c lw 191097
c lw 191108
c lw 191129
c lw 191198
c lw 191403
c lw 191887
c lw 192002
c lw 192131
c lw 192641
c lw 192793
c lw 192794
c lw 192966
c lw 193189
c lw 193588
c lw 193737
c lw 193790
c lw 193791
c lw 193792
c lw 193793
c lw 193794
c lw 193910
c lw 194936
c lw 195027
c lw 195142
c lw 195987
c lw 196175
c lw 196274
c lw 196291
c lw 196743
c lw 197086
c lw 197386
c lw 197423
c lw 198171
c lw 198211
c lw 198521
c lw 198627
c lw 199157
c lw 199203
c lw 199204
c lw 199455
c lw 199498
c lw 199786
c lw 199827
c lw 200045
c lw 200106
c lw 200202
c lw 200611
c lw 201258
c lw 201473
c lw 201756
c lw 202479
c lw 202669
c lw 202689
c lw 202782
c lw 202815
c lw 202822
c lw 202877
c lw 202928
c lw 202935
c lw 202968
c lw 202984
c lw 203020
c lw 203021
c lw 203022
c lw 203023
c lw 203024
c lw 203027
c lw 203029
c lw 203078
c lw 203532
c lw 203596
c lw 203626
c lw 204098
c lw 204245
c lw 204544
c lw 204559
c lw 204826
c lw 205308
c lw 205498
c lw 205520
c lw 205935
c lw 205936
c lw 206148
c lw 206250
c lw 206307
c lw 206547
c lw 206591
c lw 206698
c lw 207009
c lw 207669
c lw 208335
c lw 208439
c lw 208572
c lw 208927
c lw 209219
c lw 209261
c lw 209608
c lw 209812
c lw 209902
c lw 209903
c lw 209991
c lw 210603
c lw 210743
c lw 211054
c lw 211114
c lw 211304
c lw 211381
c lw 211426
c lw 211585
c lw 212002
c lw 212003
c lw 212033
c lw 212288
c lw 212289
c lw 212620
c lw 212644
c lw 212692
c lw 212726
c lw 212774
c lw 212810
c lw 212863
c lw 213119
c lw 213153
c lw 213180
c lw 213307
c lw 213349
c lw 214280
c lw 214589
c lw 214621
c lw 214622
c lw 214623
c lw 214624
c lw 214625
c lw 214626
c lw 214627
c lw 214628
c lw 214629
c lw 214630
c lw 214631
c lw 215129
c lw 215168
c lw 215174
c lw 215213
c lw 215214
c lw 215229
c lw 215450
c lw 215471
c lw 215472
c lw 215502
c lw 215506
c lw 215583
c lw 215721
c lw 216688
c lw 216756
c lw 216788
c lw 216879
c lw 217681
c lw 217750
c lw 217752
c lw 218433
c lw 219207
c lw 219435
c lw 219498
c lw 220249
c lw 220263
c lw 221022
c lw 221036
c lw 221133
c lw 221147
c lw 221209
c lw 222315
c lw 222396
c lw 222813
c lw 222830
c lw 222961
c lw 223066
c lw 223184
c lw 223213
c lw 224052
c lw 224717
c lw 224969
c lw 225058
c lw 225443
c lw 225695
c lw 226330
c lw 226371
c lw 227823
c lw 227975
c lw 228011
c lw 228136
c lw 228331
c lw 228592
c lw 229056
c lw 229160
c lw 229294
c lw 229799
c lw 230137
c lw 230415
c lw 230794
c lw 231113
c lw 231543
c lw 231868
c lw 232065
c lw 232358
c lw 232437
c lw 232833
c lw 233945
c lw 234050
c lw 234292
c lw 234915
c lw 235102
c lw 235155
c lw 236200
c lw 236211
c lw 236420
c lw 236920
c lw 237281
c lw 237516
c lw 238153
c lw 238875
c lw 238967
c lw 239079
c lw 239202
c lw 239623
c lw 239912
c lw 240003
c lw 240033
c lw 240235
c lw 240280
c lw 240291
c lw 240308
c lw 240453
c lw 240482
c lw 240568
c lw 240800
c lw 240965
c lw 240973
c lw 241305
c lw 241358
c lw 241441
c lw 241518
c lw 241628
c lw 241705
c lw 241708
c lw 241755
c lw 241810
c lw 241835
c lw 241965
c lw 242011
c lw 242014
c lw 242058
c lw 242061
c lw 242090
c lw 242113
c lw 242178
c lw 242214
c lw 242217
c lw 242251
c lw 242254
c lw 242309
c lw 242321
c lw 242324
c lw 242332
c lw 242403
c lw 242459
c lw 242462
c lw 242465
c lw 242469
c lw 242470
c lw 242804
c lw 242862
c lw 243387
c lw 243421
c lw 243425
c lw 244411
c lw 244593
c lw 244627
c lw 244643
c lw 244647
c lw 244812
c lw 245120
c lw 245389
c lw 245451
c lw 245472
c lw 245509
c lw 245811
c lw 245814
c lw 245817
c lw 245830
c lw 245832
c lw 245833
c lw 245834
c lw 245836
c lw 245838
c lw 245840
c lw 245848
c lw 245861
c lw 245864
c lw 245865
c lw 245866
c lw 245867
c lw 245868
c lw 245869
c lw 245870
c lw 245881
c lw 245882
c lw 245884
c lw 245886
c lw 245887
c lw 245890
c lw 245893
c lw 245898
c lw 245900
c lw 245901
c lw 245903
c lw 246696
c lw 246906
c lw 246997
c lw 247049
c lw 247415
c lw 247587
c lw 247605
c lw 247697
c lw 248104
c lw 248390
c lw 249308
c lw 249460
c lw 249479
c lw 249480
c lw 249481
c lw 249482
c lw 249483
c lw 249504
c lw 249625
c lw 249633
c lw 249636
c lw 249651
c lw 249658
c lw 249665
c lw 249667
c lw 249671
c lw 249672
c lw 249673
c lw 249674
c lw 249676
c lw 249677
c lw 249679
c lw 249683
c lw 249702
c lw 249720
c lw 249721
c lw 249723
c lw 249725
c lw 249726
c lw 249727
c lw 249728
c lw 249729
c lw 249741
c lw 249745
c lw 249746
c lw 249749
c lw 249750
c lw 249751
c lw 249752
c lw 249753
c lw 249755
c lw 249763
c lw 249769
c lw 249780
c lw 249784
c lw 249785
c lw 249786
c lw 249787
c lw 249788
c lw 249789
c lw 249790
c lw 249791
c lw 249792
c lw 249793
c lw 249794
c lw 249795
c lw 249796
c lw 249797
c lw 249798
c lw 249799
c lw 249805
c lw 249811
c lw 249814
c lw 249817
c lw 249820
c lw 249861
c lw 249866
c lw 249876
c lw 249918
c lw 251040
c lw 251338
c lw 251505
c lw 251564
c lw 252332
c lw 252478
c lw 252956
c lw 253094
c lw 253145
c lw 253148
c lw 253400
c lw 253503
c lw 253649
c lw 254850
c lw 254951
c lw 254970
c lw 255458
c lw 255638
c lw 255727
c lw 255739
c lw 255853
c lw 255900
c lw 256716
c lw 257121
c lw 257303
c lw 257374
c lw 257540
c lw 257722
c lw 257942
c lw 257983
c lw 257994
c lw 258009
c lw 258022
c lw 258080
c lw 258108
c lw 258334
c lw 258700
c lw 258790
c lw 258819
c lw 259045
c lw 259111
c lw 259368
c lw 259741
c lw 259770
c lw 259809
c lw 260406
c lw 260522
c lw 260623
c lw 260624
c lw 260655
c lw 260715
c lw 260740
c lw 260741
c lw 260742
c lw 260743
c lw 260744
c lw 260745
c lw 260746
c lw 260747
c lw 260748
c lw 260749
c lw 260750
c lw 260751
c lw 260752
c lw 260753
c lw 260754
c lw 260755
c lw 260756
c lw 260757
c lw 260758
c lw 260761
c lw 260762