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-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 949
c lw 2536
c lw 2777
c lw 4036
c lw 4623
c lw 6227
c lw 7782
c lw 8839
c lw 10605
c lw 11792
c lw 12119
c lw 13460
c lw 14284
c lw 15679
c lw 16881
c lw 18294
c lw 19458
c lw 20768
c lw 20886
c lw 22240
c lw 22495
c lw 23770
c lw 23997
c lw 24240
c lw 25733
c lw 26146
c lw 27205
c lw 28301
c lw 29634
c lw 30650
c lw 32293
c lw 33156
c lw 33343
c lw 35461
c lw 37453
c lw 37497
c lw 37517
c lw 38381
c lw 39952
c lw 40594
c lw 42282
c lw 42630
c lw 43575
c lw 43760
c lw 44163
c lw 44674
c lw 45258
c lw 45648
c lw 45761
c lw 45762
c lw 45885
c lw 46192
c lw 46325
c lw 46339
c lw 47142
c lw 47291
c lw 47910
c lw 48013
c lw 48367
c lw 49729
c lw 49882
c lw 50045
c lw 50505
c lw 50533
c lw 51435
c lw 51764
c lw 51946
c lw 52937
c lw 53877
c lw 54602
c lw 54845
c lw 54890
c lw 54917
c lw 55321
c lw 55966
c lw 56621
c lw 56792
c lw 57181
c lw 57244
c lw 57303
c lw 57350
c lw 58320
c lw 58424
c lw 59635
c lw 59800
c lw 59892
c lw 60189
c lw 60785
c lw 60791
c lw 61299
c lw 61781
c lw 62682
c lw 63799
c lw 64624
c lw 65226
c lw 65310
c lw 66021
c lw 66042
c lw 66322
c lw 67057
c lw 68130
c lw 68204
c lw 68848
c lw 68931
c lw 69437
c lw 70116
c lw 70307
c lw 70474
c lw 70951
c lw 71700
c lw 72003
c lw 72058
c lw 72355
c lw 72787
c lw 73375
c lw 73889
c lw 73905
c lw 74879
c lw 75002
c lw 75028
c lw 75232
c lw 75233
c lw 75648
c lw 75692
c lw 75706
c lw 76350
c lw 76406
c lw 77286
c lw 77395
c lw 77443
c lw 77448
c lw 77867
c lw 78142
c lw 78930
c lw 79104
c lw 79362
c lw 79804
c lw 79937
c lw 79951
c lw 80137
c lw 80514
c lw 80765
c lw 81401
c lw 81903
c lw 83111
c lw 83144
c lw 84164
c lw 84343
c lw 84772
c lw 84944
c lw 85635
c lw 85636
c lw 85762
c lw 86033
c lw 86561
c lw 86629
c lw 86831
c lw 86876
c lw 87518
c lw 87873
c lw 88465
c lw 88466
c lw 88501
c lw 88693
c lw 88745
c lw 88855
c lw 88929
c lw 88952
c lw 89069
c lw 89149
c lw 89335
c lw 89415
c lw 89891
c lw 90207
c lw 90250
c lw 90497
c lw 90538
c lw 90699
c lw 90728
c lw 91847
c lw 92395
c lw 92473
c lw 93233
c lw 93895
c lw 94031
c lw 94834
c lw 94969
c lw 94999
c lw 95062
c lw 95121
c lw 95168
c lw 95359
c lw 95923
c lw 96146
c lw 96728
c lw 96780
c lw 96945
c lw 97037
c lw 97091
c lw 97334
c lw 97596
c lw 97602
c lw 98060
c lw 98341
c lw 98556
c lw 99279
c lw 99280
c lw 99353
c lw 99740
c lw 99824
c lw 100001
c lw 100199
c lw 100210
c lw 100302
c lw 100303
c lw 100342
c lw 100399
c lw 100946
c lw 101120
c lw 101174
c lw 101216
c lw 101563
c lw 102176
c lw 102362
c lw 102901
c lw 103309
c lw 103678
c lw 104093
c lw 104427
c lw 104428
c lw 104476
c lw 104730
c lw 104769
c lw 104865
c lw 105024
c lw 105215
c lw 105224
c lw 105250
c lw 106094
c lw 106116
c lw 106264
c lw 106687
c lw 107107
c lw 107456
c lw 107524
c lw 107745
c lw 108177
c lw 108260
c lw 108362
c lw 108417
c lw 108831
c lw 109405
c lw 109623
c lw 109631
c lw 110208
c lw 110312
c lw 110335
c lw 110376
c lw 111215
c lw 111277
c lw 111298
c lw 111652
c lw 112078
c lw 112081
c lw 113163
c lw 113250
c lw 114463
c lw 114564
c lw 114742
c lw 114768
c lw 114920
c lw 115013
c lw 115290
c lw 115683
c lw 115745
c lw 116188
c lw 116333
c lw 117263
c lw 117537
c lw 117814
c lw 117860
c lw 117888
c lw 117907
c lw 118016
c lw 118064
c lw 118509
c lw 118652
c lw 118778
c lw 119130
c lw 119228
c lw 119250
c lw 119422
c lw 119516
c lw 119815
c lw 119875
c lw 120619
c lw 120830
c lw 120898
c lw 121850
c lw 121878
c lw 121953
c lw 122122
c lw 122236
c lw 122426
c lw 122665
c lw 122873
c lw 123122
c lw 123514
c lw 123549
c lw 124019
c lw 124149
c lw 125049
c lw 125832
c lw 125989
c lw 126184
c lw 126307
c lw 127070
c lw 127610
c lw 127649
c lw 128003
c lw 128009
c lw 128087
c lw 128224
c lw 128757
c lw 128798
c lw 128853
c lw 129342
c lw 129631
c lw 130264
c lw 130309
c lw 130364
c lw 130405
c lw 130485
c lw 130522
c lw 131459
c lw 131622
c lw 131674
c lw 132104
c lw 132198
c lw 132199
c lw 132327
c lw 132366
c lw 132469
c lw 133486
c lw 133523
c lw 134542
c lw 134624
c lw 134777
c lw 134872
c lw 134967
c lw 135297
c lw 135408
c lw 135883
c lw 136772
c lw 136884
c lw 137032
c lw 137799
c lw 137833
c lw 138016
c lw 138061
c lw 138624
c lw 138632
c lw 138784
c lw 139332
c lw 139377
c lw 140159
c lw 140278
c lw 141446
c lw 141548
c lw 141575
c lw 141595
c lw 141653
c lw 141700
c lw 141728
c lw 142108
c lw 142114
c lw 142161
c lw 142353
c lw 142359
c lw 142404
c lw 142521
c lw 142910
c lw 142938
c lw 143006
c lw 143383
c lw 143450
c lw 143520
c lw 144187
c lw 144779
c lw 144902
c lw 145323
c lw 145351
c lw 145585
c lw 146508
c lw 147107
c lw 147465
c lw 147500
c lw 148158
c lw 148351
c lw 148561
c lw 149077
c lw 150236
c lw 150444
c lw 150518
c lw 150692
c lw 151507
c lw 151658
c lw 152154
c lw 152176
c lw 152819
c lw 153042
c lw 153212
c lw 153436
c lw 153529
c lw 153926
c lw 154914
c lw 154952
c lw 155727
c lw 156071
c lw 156072
c lw 156119
c lw 156173
c lw 156258
c lw 156327
c lw 156938
c lw 156982
c lw 157079
c lw 157970
c lw 158122
c lw 158425
c lw 158492
c lw 158773
c lw 158872
c lw 158878
c lw 158919
c lw 158920
c lw 158926
c lw 158934
c lw 159017
c lw 159583
c lw 159672
c lw 159925
c lw 160224
c lw 160416
c lw 160605
c lw 160694
c lw 160860
c lw 161271
c lw 161484
c lw 161998
c lw 162612
c lw 162632
c lw 162741
c lw 162815
c lw 163134
c lw 163368
c lw 163806
c lw 163842
c lw 163974
c lw 163982
c lw 164043
c lw 164531
c lw 164754
c lw 164897
c lw 165605
c lw 165628
c lw 165711
c lw 166030
c lw 166219
c lw 166642
c lw 166688
c lw 166708
c lw 166798
c lw 166960
c lw 167283
c lw 167427
c lw 167682
c lw 167920
c lw 167928
c lw 167934
c lw 167935
c lw 167965
c lw 167966
c lw 167976
c lw 167982
c lw 168001
c lw 168012
c lw 168031
c lw 168035
c lw 168036
c lw 168040
c lw 168053
c lw 168081
c lw 168117
c lw 168128
c lw 168142
c lw 168145
c lw 168156
c lw 168157
c lw 168163
c lw 168172
c lw 168191
c lw 168198
c lw 168203
c lw 168204
c lw 168760
c lw 168893
c lw 169966
c lw 170370
c lw 170503
c lw 171348
c lw 171411
c lw 171548
c lw 171607
c lw 171614
c lw 171633
c lw 171634
c lw 171642
c lw 171671
c lw 171691
c lw 171993
c lw 172779
c lw 173005
c lw 173153
c lw 173256
c lw 173345
c lw 173787
c lw 173869
c lw 173888
c lw 174283
c lw 174290
c lw 174355
c lw 174476
c lw 174565
c lw 174731
c lw 174813
c lw 175687
c lw 175714
c lw 175851
c lw 175960
c lw 176102
c lw 176246
c lw 176991
c lw 177057
c lw 177179
c lw 177185
c lw 177899
c lw 177914
c lw 178214
c lw 178340
c lw 178439
c lw 178723
c lw 178859
c lw 179087
c lw 179197
c lw 179227
c lw 179281
c lw 179752
c lw 179816
c lw 180198
c lw 180603
c lw 180941
c lw 181085
c lw 181101
c lw 181380
c lw 181576
c lw 181795
c lw 182030
c lw 182063
c lw 182064
c lw 182101
c lw 182114
c lw 182503
c lw 183016
c lw 183390
c lw 183771
c lw 183804
c lw 183845
c lw 184055
c lw 184468
c lw 184768
c lw 184958
c lw 185179
c lw 185228
c lw 185410
c lw 185637
c lw 185653
c lw 186054
c lw 186161
c lw 187033
c lw 187096
c lw 187176
c lw 187801
c lw 187881
c lw 188174
c lw 188205
c lw 188587
c lw 188723
c lw 188726
c lw 188746
c lw 188871
c lw 188997
c lw 189000
c lw 189004
c lw 189151
c lw 189153
c lw 189155
c lw 189952
c lw 189983
c lw 190000
c lw 190102
c lw 190110
c lw 190917
c lw 190925
c lw 190928
c lw 190934
c lw 190937
c lw 190942
c lw 190948
c lw 190964
c lw 191111
c lw 191527
c lw 191720
c lw 191769
c lw 191806
c lw 192043
c lw 192203
c lw 192412
c lw 192471
c lw 192507
c lw 193155
c lw 193580
c lw 194033
c lw 194384
c lw 194646
c lw 194972
c lw 195152
c lw 195273
c lw 195299
c lw 195408
c lw 195415
c lw 195422
c lw 195487
c lw 195490
c lw 195506
c lw 195586
c lw 195765
c lw 195806
c lw 195902
c lw 196215
c lw 196303
c lw 196423
c lw 196559
c lw 196623
c lw 197003
c lw 197663
c lw 198037
c lw 198048
c lw 198929
c lw 199151
c lw 199329
c lw 199330
c lw 199897
c lw 200333
c lw 200585
c lw 200660
c lw 200676
c lw 200755
c lw 201971
c lw 202292
c lw 202374
c lw 202674
c lw 202820
c lw 202821
c lw 202951
c lw 203068
c lw 203075
c lw 203082
c lw 203135
c lw 204081
c lw 204437
c lw 204764
c lw 205049
c lw 205071
c lw 205074
c lw 205103
c lw 205126
c lw 205539
c lw 205687
c lw 205714
c lw 205966
c lw 206017
c lw 206300
c lw 206734
c lw 206793
c lw 207355
c lw 207450
c lw 207500
c lw 207779
c lw 207845
c lw 207985
c lw 208035
c lw 208618
c lw 208881
c lw 208955
c lw 209550
c lw 209607
c lw 210220
c lw 210524
c lw 210604
c lw 211447
c lw 211450
c lw 211592
c lw 211680
c lw 211698
c lw 211744
c lw 211819
c lw 211824
c lw 211858
c lw 211895
c lw 211902
c lw 212193
c lw 212515
c lw 213200
c lw 213333
c lw 213355
c lw 213398
c lw 213423
c lw 213462
c lw 213483
c lw 213612
c lw 213720
c lw 214007
c lw 214209
c lw 214493
c lw 214525
c lw 215020
c lw 215032
c lw 215107
c lw 215172
c lw 215189
c lw 215290
c lw 215364
c lw 215816
c lw 215890
c lw 216015
c lw 216030
c lw 216096
c lw 216159
c lw 216395
c lw 216397
c lw 216398
c lw 216419
c lw 216567
c lw 216852
c lw 216919
c lw 216958
c lw 217024
c lw 217036
c lw 217046
c lw 217163
c lw 217180
c lw 217281
c lw 217283
c lw 217291
c lw 217303
c lw 217338
c lw 217347
c lw 217348
c lw 217361
c lw 217364
c lw 217372
c lw 217378
c lw 217379
c lw 217385
c lw 217391
c lw 217392
c lw 217393
c lw 217397
c lw 217403
c lw 217404
c lw 217408
c lw 217411
c lw 217423
c lw 217432
c lw 217433
c lw 217436
c lw 217438
c lw 217439
c lw 217449
c lw 217450
c lw 217453
c lw 218004
c lw 218031
c lw 218222
c lw 218253
c lw 218847
c lw 218902
c lw 220103
c lw 220347
c lw 220515
c lw 220869
c lw 220968
c lw 221647
c lw 222035
c lw 222774
c lw 223035
c lw 223193
c lw 223397
c lw 223533
c lw 223709
c lw 223710
c lw 223714
c lw 223760
c lw 223761
c lw 223762
c lw 223763
c lw 223767
c lw 223769
c lw 223772
c lw 223774
c lw 223777
c lw 223778
c lw 223790
c lw 223793
c lw 223794
c lw 223804
c lw 223807
c lw 223897
c lw 224251
c lw 224336
c lw 224450
c lw 224573
c lw 224576
c lw 224577
c lw 224578
c lw 225018
c lw 225702
c lw 226446
c lw 226545
c lw 226750
c lw 227558
c lw 228185
c lw 229239
c lw 229246
c lw 229520
c lw 229614
c lw 229671
c lw 229678
c lw 230019
c lw 230355
c lw 230362
c lw 230379
c lw 230380
c lw 230392
c lw 230426
c lw 230430
c lw 230431
c lw 230435
c lw 230436
c lw 230437
c lw 230440
c lw 230441
c lw 230442
c lw 230443
c lw 230448
c lw 230456
c lw 230460
c lw 230461
c lw 230463
c lw 230466
c lw 230467
c lw 230468
c lw 230472
c lw 230473
c lw 230474
c lw 230478
c lw 230479
c lw 230480
c lw 230487
c lw 230490
c lw 230503
c lw 230504
c lw 230505
c lw 230506
c lw 230507
c lw 230511
c lw 230512
c lw 230513
c lw 230514
c lw 230518
c lw 230519
c lw 230522
c lw 230523
c lw 230524
c lw 230525
c lw 230530
c lw 230531
c lw 230532
c lw 230533
c lw 230538
c lw 230541
c lw 230543
c lw 230550
c lw 230551
c lw 230558
c lw 230559
c lw 230560
c lw 230561
c lw 230562
c lw 230563
c lw 230564
c lw 230565
c lw 230566
c lw 230568
c lw 230569
c lw 230570
c lw 230666
c lw 230984
c lw 232338
c lw 233555
c lw 233837
c lw 233853
c lw 233973
c lw 234749
c lw 235683
c lw 235810
c lw 235850
c lw 236194
c lw 236817
c lw 236884
c lw 236994
c lw 237071
c lw 237152
c lw 237278
c lw 237731
c lw 238402
c lw 238478
c lw 238577
c lw 238631
c lw 239252
c lw 239351
c lw 239533
c lw 239596
c lw 239616
c lw 239715
c lw 239717
c lw 240207
c lw 240621
c lw 240853
c lw 241112
c lw 241440
c lw 241505
c lw 241620
c lw 241914
c lw 242146
c lw 242262
c lw 243445
c lw 243608
c lw 243723
c lw 243749
c lw 243860
c lw 243962
c lw 244606
c lw 244703
c lw 244778
c lw 244856
c lw 245046
c lw 245395
c lw 245498
c lw 245913
c lw 246416
c lw 246534
c lw 247015
c lw 247525
c lw 247733
c lw 247789
c lw 247814
c lw 247916
c lw 247917
c lw 247918
c lw 247919
c lw 247923
c lw 247926
c lw 247930
c lw 247938
c lw 247942
c lw 247943
c lw 247944
c lw 247952
c lw 247954
c lw 247977
c lw 247980
c lw 247981
c lw 247982
c lw 247984
c lw 247985
c lw 247988
c lw 247989
c lw 247990
c lw 247991
c lw 247992
c lw 247993
c lw 247994
c lw 247995
c lw 247996
c lw 247997
c lw 247998
c lw 247999
c lw 248000
c lw 248001
c lw 248002
c lw 248003
c lw 248004
c lw 248005
c lw 248006