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-240-1_network-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 350
c lw 1878
c lw 1909
c lw 3386
c lw 4964
c lw 5582
c lw 6350
c lw 7229
c lw 8445
c lw 8639
c lw 10533
c lw 10899
c lw 11959
c lw 12433
c lw 13550
c lw 14389
c lw 16321
c lw 17652
c lw 17939
c lw 19018
c lw 20581
c lw 21788
c lw 21882
c lw 23647
c lw 25407
c lw 25697
c lw 26617
c lw 26721
c lw 27427
c lw 28249
c lw 29872
c lw 31150
c lw 32355
c lw 33167
c lw 33690
c lw 35123
c lw 36198
c lw 37121
c lw 37205
c lw 37217
c lw 37756
c lw 38411
c lw 38732
c lw 39119
c lw 39283
c lw 40165
c lw 40177
c lw 40547
c lw 40934
c lw 41163
c lw 41998
c lw 42069
c lw 42315
c lw 42391
c lw 43195
c lw 43669
c lw 44291
c lw 44739
c lw 44980
c lw 45490
c lw 45793
c lw 45910
c lw 46757
c lw 47083
c lw 47595
c lw 48230
c lw 48844
c lw 48882
c lw 49926
c lw 50466
c lw 51411
c lw 51699
c lw 51717
c lw 52182
c lw 52439
c lw 52676
c lw 52793
c lw 53587
c lw 53713
c lw 54259
c lw 54281
c lw 54421
c lw 54446
c lw 54467
c lw 55291
c lw 56104
c lw 56839
c lw 57269
c lw 57480
c lw 57570
c lw 57676
c lw 58256
c lw 58573
c lw 59055
c lw 59231
c lw 60436
c lw 60825
c lw 61017
c lw 61207
c lw 61647
c lw 61662
c lw 62341
c lw 62388
c lw 62811
c lw 63185
c lw 63289
c lw 63506
c lw 63893
c lw 64253
c lw 64459
c lw 64674
c lw 65260
c lw 65456
c lw 65831
c lw 65967
c lw 66743
c lw 66783
c lw 66853
c lw 66862
c lw 67034
c lw 67609
c lw 67981
c lw 68569
c lw 68732
c lw 69072
c lw 69620
c lw 69940
c lw 70254
c lw 70284
c lw 70307
c lw 70359
c lw 70636
c lw 70942
c lw 71002
c lw 71040
c lw 71624
c lw 71803
c lw 71827
c lw 72102
c lw 72914
c lw 73111
c lw 73399
c lw 74044
c lw 74332
c lw 74433
c lw 74797
c lw 75054
c lw 75291
c lw 75408
c lw 75458
c lw 75480
c lw 75809
c lw 75896
c lw 75917
c lw 76332
c lw 76413
c lw 76444
c lw 76446
c lw 76760
c lw 76779
c lw 76797
c lw 77044
c lw 77152
c lw 77259
c lw 77499
c lw 77576
c lw 77684
c lw 78325
c lw 79009
c lw 79951
c lw 80379
c lw 81077
c lw 81104
c lw 81772
c lw 82154
c lw 82735
c lw 82966
c lw 83158
c lw 83623
c lw 83777
c lw 83889
c lw 84633
c lw 85109
c lw 85640
c lw 86027
c lw 86064
c lw 86154
c lw 86177
c lw 86271
c lw 86439
c lw 86900
c lw 87397
c lw 87649
c lw 87673
c lw 87834
c lw 88137
c lw 88282
c lw 88472
c lw 88517
c lw 88535
c lw 88550
c lw 88975
c lw 88980
c lw 89367
c lw 89392
c lw 90281
c lw 90306
c lw 90345
c lw 90628
c lw 90938
c lw 90969
c lw 91299
c lw 91512
c lw 92028
c lw 92194
c lw 92227
c lw 92269
c lw 92349
c lw 92442
c lw 93143
c lw 94013
c lw 94171
c lw 94227
c lw 94296
c lw 94749
c lw 94970
c lw 95107
c lw 95244
c lw 95357
c lw 95572
c lw 95581
c lw 96136
c lw 96583
c lw 96633
c lw 96664
c lw 96666
c lw 96681
c lw 96771
c lw 96935
c lw 96989
c lw 97114
c lw 97141
c lw 97155
c lw 97368
c lw 97462
c lw 97495
c lw 97547
c lw 98238
c lw 98290
c lw 98348
c lw 98543
c lw 98740
c lw 98775
c lw 99685
c lw 99746
c lw 100081
c lw 100188
c lw 100230
c lw 101427
c lw 101452
c lw 102311
c lw 102749
c lw 102845
c lw 102977
c lw 103015
c lw 103030
c lw 103032
c lw 103041
c lw 103063
c lw 103075
c lw 103393
c lw 103690
c lw 103750
c lw 103922
c lw 104081
c lw 104156
c lw 104572
c lw 104696
c lw 104729
c lw 104767
c lw 104857
c lw 105393
c lw 105568
c lw 106328
c lw 106509
c lw 106577
c lw 106724
c lw 107119
c lw 107334
c lw 107595
c lw 107948
c lw 108371
c lw 108615
c lw 109056
c lw 109174
c lw 110021
c lw 110445
c lw 110761
c lw 110875
c lw 111081
c lw 111198
c lw 111241
c lw 111465
c lw 111751
c lw 111831
c lw 111858
c lw 111902
c lw 112114
c lw 112276
c lw 113171
c lw 113650
c lw 113842
c lw 113866
c lw 113875
c lw 114026
c lw 114753
c lw 115176
c lw 115332
c lw 115367
c lw 115437
c lw 115440
c lw 115646
c lw 115958
c lw 116001
c lw 116143
c lw 116922
c lw 117379
c lw 117453
c lw 117746
c lw 117839
c lw 118027
c lw 118460
c lw 119044
c lw 119101
c lw 119200
c lw 119287
c lw 119831
c lw 120041
c lw 120219
c lw 120222
c lw 120682
c lw 121065
c lw 121148
c lw 121162
c lw 121238
c lw 121241
c lw 121973
c lw 122062
c lw 122113
c lw 122353
c lw 122643
c lw 122667
c lw 123104
c lw 123113
c lw 123202
c lw 123419
c lw 123646
c lw 123748
c lw 123809
c lw 123870
c lw 124320
c lw 124548
c lw 124699
c lw 124813
c lw 124836
c lw 124901
c lw 125917
c lw 126176
c lw 127056
c lw 127096
c lw 127146
c lw 127172
c lw 127242
c lw 127257
c lw 127296
c lw 127320
c lw 127322
c lw 127375
c lw 127391
c lw 127394
c lw 127773
c lw 127923
c lw 127995
c lw 128023
c lw 128252
c lw 128549
c lw 128579
c lw 128582
c lw 128632
c lw 128653
c lw 128662
c lw 128701
c lw 128834
c lw 128859
c lw 129282
c lw 129326
c lw 129376
c lw 129384
c lw 129494
c lw 129505
c lw 129526
c lw 129599
c lw 129608
c lw 129641
c lw 129643
c lw 129672
c lw 129687
c lw 129762
c lw 129803
c lw 129805
c lw 130594
c lw 130968
c lw 131025
c lw 131131
c lw 131246
c lw 132005
c lw 132021
c lw 132258
c lw 132405
c lw 132529
c lw 132558
c lw 132609
c lw 132620
c lw 132698
c lw 132805
c lw 132913
c lw 132960
c lw 133009
c lw 133276
c lw 133286
c lw 133296
c lw 133305
c lw 133411
c lw 133633
c lw 133922
c lw 134215
c lw 134378
c lw 134458
c lw 134470
c lw 134475
c lw 135631
c lw 135639
c lw 135720
c lw 135763
c lw 135875
c lw 135890
c lw 135978
c lw 135987
c lw 136039
c lw 136262
c lw 136619
c lw 136745
c lw 136780
c lw 137236
c lw 137251
c lw 138017
c lw 138024
c lw 138046
c lw 138051
c lw 138103
c lw 138115
c lw 138136
c lw 138156
c lw 138198
c lw 138220
c lw 138228
c lw 138314
c lw 138875
c lw 139007
c lw 139135
c lw 139256
c lw 139300
c lw 139558
c lw 139737
c lw 140170
c lw 140535
c lw 140622
c lw 140649
c lw 140770
c lw 141035
c lw 141318
c lw 141358
c lw 142000
c lw 142058
c lw 142487
c lw 142659
c lw 143128
c lw 143291
c lw 143711
c lw 144215
c lw 144457
c lw 144681
c lw 144811
c lw 145449
c lw 145547
c lw 146108
c lw 146315
c lw 146400
c lw 146480
c lw 146516
c lw 146547
c lw 146655
c lw 146695
c lw 147769
c lw 147801
c lw 147802
c lw 147860
c lw 148543
c lw 148588
c lw 148651
c lw 148716
c lw 148749
c lw 148800
c lw 148990
c lw 149028
c lw 149184
c lw 149952
c lw 149976
c lw 150091
c lw 150547
c lw 150809
c lw 150934
c lw 151025
c lw 151249
c lw 151753
c lw 151864
c lw 151929
c lw 152555
c lw 152605
c lw 152645
c lw 152673
c lw 152793
c lw 152813
c lw 153029
c lw 153073
c lw 153074
c lw 153200
c lw 154386
c lw 154640
c lw 154744
c lw 154971
c lw 155812
c lw 155866
c lw 156141
c lw 156149
c lw 156218
c lw 156246
c lw 156335
c lw 156473
c lw 156562
c lw 156627
c lw 156696
c lw 156853
c lw 156925
c lw 157019
c lw 157469
c lw 157993
c lw 158476
c lw 158666
c lw 158771
c lw 158893
c lw 159194
c lw 159756
c lw 160125
c lw 160141
c lw 160611
c lw 160826
c lw 160909
c lw 161280
c lw 161864
c lw 161878
c lw 162553
c lw 162597
c lw 162605
c lw 162765
c lw 162877
c lw 163389
c lw 164181
c lw 164328
c lw 164670
c lw 164710
c lw 164849
c lw 165447
c lw 165611
c lw 165767
c lw 165989
c lw 166725
c lw 167466
c lw 167772
c lw 167950
c lw 168131
c lw 168258
c lw 168347
c lw 168475
c lw 168488
c lw 168718
c lw 168925
c lw 168926
c lw 168936
c lw 169075
c lw 169093
c lw 169479
c lw 169649
c lw 169667
c lw 169717
c lw 169757
c lw 169837
c lw 169842
c lw 169851
c lw 169853
c lw 169859
c lw 169870
c lw 169871
c lw 169873
c lw 169874
c lw 169875
c lw 169884
c lw 169891
c lw 169902
c lw 169905
c lw 170086
c lw 170276
c lw 170282
c lw 170289
c lw 170333
c lw 170336
c lw 170347
c lw 170380
c lw 170910
c lw 170983
c lw 171016
c lw 171188
c lw 172134
c lw 172141
c lw 172167
c lw 172178
c lw 172255
c lw 172266
c lw 172452
c lw 172462
c lw 172474
c lw 172481
c lw 172561
c lw 173355
c lw 173400
c lw 173405
c lw 173416
c lw 173485
c lw 173501
c lw 173508
c lw 173527
c lw 173529
c lw 173556
c lw 173676
c lw 173695
c lw 173738
c lw 174218
c lw 174222
c lw 174229
c lw 174231
c lw 174244
c lw 174267
c lw 174287
c lw 174371
c lw 174383
c lw 174393
c lw 174399
c lw 174423
c lw 174439
c lw 174454
c lw 174474
c lw 174565
c lw 174630
c lw 174936
c lw 175510
c lw 175581
c lw 175596
c lw 175634
c lw 175652
c lw 176795
c lw 176850
c lw 176896
c lw 176920
c lw 176964
c lw 177054
c lw 177094
c lw 177103
c lw 177105
c lw 177120
c lw 177128
c lw 177130
c lw 178016
c lw 178089
c lw 178302
c lw 178336
c lw 178352
c lw 178692
c lw 178702
c lw 178989
c lw 179254
c lw 179354
c lw 179723
c lw 179806
c lw 179813
c lw 179825
c lw 179830
c lw 179931
c lw 180621
c lw 180719
c lw 181416
c lw 182152
c lw 182198
c lw 182297
c lw 182420
c lw 182442
c lw 182449
c lw 182453
c lw 182530
c lw 182845
c lw 183470
c lw 183620
c lw 184048
c lw 184347
c lw 184470
c lw 184800
c lw 184936
c lw 185344
c lw 185480
c lw 185548
c lw 185560
c lw 185649
c lw 185863
c lw 186931
c lw 187019
c lw 187480
c lw 187787
c lw 187794
c lw 187796
c lw 187802
c lw 188007
c lw 188039
c lw 188180
c lw 188230
c lw 188232
c lw 188233
c lw 188234
c lw 188948
c lw 188982
c lw 189074
c lw 189172
c lw 189363
c lw 189414
c lw 189754
c lw 189762
c lw 189763
c lw 189796
c lw 189996
c lw 190029
c lw 190234
c lw 190260
c lw 190306
c lw 190309
c lw 190323
c lw 190324
c lw 190326
c lw 190332
c lw 190333
c lw 190334
c lw 190418
c lw 190508
c lw 190597
c lw 190599
c lw 190600
c lw 190605
c lw 190630
c lw 190640
c lw 190643
c lw 190650
c lw 190668
c lw 190929
c lw 191170
c lw 191253
c lw 191560
c lw 192757
c lw 192792
c lw 193189
c lw 193230
c lw 193481
c lw 194371
c lw 194482
c lw 194578
c lw 194796
c lw 194861
c lw 195042
c lw 195118
c lw 195805
c lw 195868
c lw 195904
c lw 196050
c lw 196226
c lw 196897
c lw 196963
c lw 196975
c lw 197233
c lw 197240
c lw 197245
c lw 197252
c lw 197280
c lw 197281
c lw 197304
c lw 197310
c lw 197312
c lw 197316
c lw 197318
c lw 197319
c lw 197638
c lw 198099
c lw 198859
c lw 198872
c lw 198883
c lw 199446
c lw 199738
c lw 199756
c lw 199908
c lw 200058
c lw 200224
c lw 200376
c lw 201763
c lw 201777
c lw 201946
c lw 201960
c lw 203362
c lw 203720
c lw 203841
c lw 204053
c lw 204099
c lw 204163
c lw 204639
c lw 205613
c lw 205699
c lw 205712
c lw 205716
c lw 205719
c lw 205899
c lw 205945
c lw 205959
c lw 205962
c lw 206387
c lw 206447
c lw 206520
c lw 206733
c lw 207227
c lw 207690
c lw 207693
c lw 207852
c lw 207882
c lw 208095
c lw 208216
c lw 209055
c lw 209059
c lw 209085
c lw 209105
c lw 209109
c lw 209123
c lw 209129
c lw 209806
c lw 210580
c lw 210665
c lw 210678
c lw 210685
c lw 211028
c lw 211890
c lw 211894
c lw 211900
c lw 213246
c lw 213850
c lw 213856
c lw 214749
c lw 215020
c lw 215400
c lw 216149
c lw 216319
c lw 216328
c lw 216334
c lw 216335
c lw 216338
c lw 216487
c lw 216495
c lw 216496
c lw 216498
c lw 216506
c lw 216507
c lw 216513
c lw 216515
c lw 216518
c lw 216520
c lw 216521
c lw 216525
c lw 216527
c lw 217356
c lw 217473
c lw 217491
c lw 218354
c lw 218380
c lw 218410
c lw 218440
c lw 218534
c lw 218741
c lw 218747
c lw 218795
c lw 218925
c lw 218973
c lw 218992
c lw 219242
c lw 219246
c lw 219254
c lw 219284
c lw 219347
c lw 219359
c lw 219389
c lw 219419
c lw 220036
c lw 220581
c lw 221023
c lw 221077
c lw 221083
c lw 221195
c lw 221246
c lw 221738
c lw 221912
c lw 221922
c lw 222034
c lw 222062
c lw 222173
c lw 222197
c lw 222216
c lw 222304
c lw 222425
c lw 222681
c lw 222748
c lw 222749
c lw 222758
c lw 222772
c lw 222822
c lw 222883
c lw 222911
c lw 222932
c lw 222951
c lw 222996
c lw 223023
c lw 223027
c lw 223074
c lw 223076
c lw 223088
c lw 223128
c lw 223160
c lw 223172
c lw 223188
c lw 223204
c lw 223211
c lw 223223
c lw 223239
c lw 223243
c lw 223244
c lw 223247
c lw 223248
c lw 223249
c lw 223251
c lw 223258
c lw 223260
c lw 223267
c lw 223271
c lw 223279
c lw 223282
c lw 223307
c lw 223309
c lw 223311
c lw 223325
c lw 223327
c lw 223328
c lw 223333
c lw 223362
c lw 223364
c lw 223365
c lw 223369
c lw 223370
c lw 223371
c lw 223374
c lw 223376
c lw 223377
c lw 223378
c lw 223379
c lw 223381
c lw 223382
c lw 223386
c lw 223399
c lw 223401
c lw 223402
c lw 223403
c lw 223404
c lw 223408
c lw 223412
c lw 223415
c lw 223416
c lw 223417
c lw 224142
c lw 224657
c lw 224841
c lw 224925
c lw 224958
c lw 225007
c lw 226288
c lw 226825
c lw 226873
c lw 227137
c lw 227178
c lw 227186
c lw 227219
c lw 227220
c lw 227221
c lw 227222
c lw 227224
c lw 227225
c lw 227226
c lw 227231
c lw 227233
c lw 227234
c lw 227236
c lw 227238
c lw 227240
c lw 227242
c lw 227243
c lw 227244
c lw 227246
c lw 227307
c lw 227407
c lw 227409
c lw 227411
c lw 227412
c lw 227413
c lw 227414
c lw 227415
c lw 227416
c lw 227417
c lw 227418
c lw 227419
c lw 227420
c lw 227421
c lw 227422
c lw 227425
c lw 227427
c lw 227428
c lw 227429
c lw 227430
c lw 227431
c lw 227454
c lw 228622
c lw 228650
c lw 229041
c lw 229349
c lw 229366
c lw 229424
c lw 229664
c lw 230589
c lw 230840
c lw 230845
c lw 230933
c lw 231552
c lw 231586
c lw 231592
c lw 231598
c lw 231632
c lw 231674
c lw 231675
c lw 231677
c lw 231678
c lw 231679
c lw 231680
c lw 231681
c lw 231682
c lw 231684
c lw 231685
c lw 231686
c lw 231687
c lw 231688
c lw 231689
c lw 231690
c lw 231691
c lw 231692
c lw 231693
c lw 231696
c lw 231697
c lw 231698
c lw 231699
c lw 231700
c lw 231701
c lw 231702
c lw 231703
c lw 231704
c lw 231705
c lw 231706
c lw 231707
c lw 231708
c lw 231709
c lw 231710
c lw 231711
c lw 231712
c lw 231713
c lw 231714
c lw 231715
c lw 231716
c lw 231717
c lw 231718
c lw 231719
c lw 231720
c lw 231721
c lw 231722
c lw 231723
c lw 231724
c lw 231727
c lw 231728
c lw 231729