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-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 253
c lw 2149
c lw 3456
c lw 5978
c lw 7222
c lw 7770
c lw 8386
c lw 9759
c lw 10725
c lw 11927
c lw 12240
c lw 13412
c lw 13785
c lw 14625
c lw 14875
c lw 15654
c lw 15888
c lw 16731
c lw 17705
c lw 18284
c lw 18899
c lw 19788
c lw 20794
c lw 21854
c lw 22476
c lw 24084
c lw 24998
c lw 26469
c lw 27345
c lw 27739
c lw 28711
c lw 29480
c lw 31485
c lw 31835
c lw 32060
c lw 32079
c lw 32167
c lw 33345
c lw 34670
c lw 36002
c lw 37256
c lw 38973
c lw 39196
c lw 39765
c lw 39851
c lw 40013
c lw 40471
c lw 41304
c lw 41973
c lw 42726
c lw 43069
c lw 44004
c lw 44334
c lw 45111
c lw 45876
c lw 46276
c lw 46425
c lw 46605
c lw 46737
c lw 47186
c lw 47548
c lw 48906
c lw 49599
c lw 50169
c lw 50228
c lw 50344
c lw 50588
c lw 50992
c lw 51292
c lw 51797
c lw 51826
c lw 52173
c lw 53396
c lw 53425
c lw 53637
c lw 53837
c lw 54386
c lw 55858
c lw 56001
c lw 56652
c lw 57313
c lw 57366
c lw 57612
c lw 58185
c lw 58721
c lw 59223
c lw 59412
c lw 59997
c lw 60333
c lw 60591
c lw 60710
c lw 61062
c lw 62012
c lw 62065
c lw 62230
c lw 62511
c lw 62655
c lw 63182
c lw 63487
c lw 63803
c lw 64726
c lw 65002
c lw 65008
c lw 65472
c lw 65662
c lw 66556
c lw 66734
c lw 67875
c lw 68410
c lw 68486
c lw 68693
c lw 68833
c lw 69290
c lw 70030
c lw 70266
c lw 70456
c lw 70929
c lw 71338
c lw 71594
c lw 72149
c lw 73161
c lw 73246
c lw 73294
c lw 73384
c lw 73461
c lw 74136
c lw 74192
c lw 75173
c lw 75632
c lw 76087
c lw 76328
c lw 76686
c lw 76807
c lw 77713
c lw 77729
c lw 78783
c lw 78830
c lw 79402
c lw 79596
c lw 79718
c lw 79989
c lw 80249
c lw 80287
c lw 80559
c lw 80694
c lw 81031
c lw 81079
c lw 81605
c lw 82213
c lw 82755
c lw 83196
c lw 83507
c lw 83691
c lw 84809
c lw 85261
c lw 86352
c lw 86610
c lw 87221
c lw 87346
c lw 87374
c lw 87769
c lw 88906
c lw 88917
c lw 88958
c lw 89302
c lw 89604
c lw 89643
c lw 89790
c lw 90037
c lw 90143
c lw 91431
c lw 91773
c lw 92022
c lw 92320
c lw 92532
c lw 93334
c lw 93476
c lw 93580
c lw 93706
c lw 93918
c lw 94074
c lw 94390
c lw 94599
c lw 94605
c lw 94690
c lw 94993
c lw 95264
c lw 95870
c lw 96308
c lw 96501
c lw 96715
c lw 96733
c lw 96809
c lw 96979
c lw 97333
c lw 97479
c lw 97518
c lw 97712
c lw 98020
c lw 98198
c lw 98766
c lw 99102
c lw 99360
c lw 99477
c lw 99479
c lw 99719
c lw 100024
c lw 100129
c lw 100356
c lw 100442
c lw 100467
c lw 101045
c lw 101123
c lw 101284
c lw 101315
c lw 102191
c lw 102393
c lw 103038
c lw 103363
c lw 103503
c lw 104354
c lw 104485
c lw 104646
c lw 104833
c lw 104859
c lw 106273
c lw 106524
c lw 106557
c lw 106781
c lw 106895
c lw 106901
c lw 107044
c lw 107214
c lw 107374
c lw 107466
c lw 107883
c lw 108509
c lw 108533
c lw 108702
c lw 108718
c lw 109130
c lw 109267
c lw 109691
c lw 110279
c lw 110283
c lw 110324
c lw 111034
c lw 111148
c lw 111740
c lw 111770
c lw 112047
c lw 112526
c lw 112880
c lw 112978
c lw 113248
c lw 113263
c lw 113354
c lw 113475
c lw 113480
c lw 113486
c lw 114160
c lw 114913
c lw 115034
c lw 115331
c lw 115360
c lw 115378
c lw 115912
c lw 116234
c lw 116548
c lw 116568
c lw 116688
c lw 117140
c lw 117463
c lw 117653
c lw 117664
c lw 117681
c lw 117714
c lw 118196
c lw 118211
c lw 119241
c lw 119252
c lw 119418
c lw 119790
c lw 120150
c lw 120562
c lw 120617
c lw 120669
c lw 121882
c lw 121933
c lw 121977
c lw 122252
c lw 122479
c lw 122731
c lw 122957
c lw 122983
c lw 123064
c lw 123077
c lw 124353
c lw 124584
c lw 124623
c lw 124712
c lw 124776
c lw 125565
c lw 125984
c lw 125988
c lw 126056
c lw 126078
c lw 127029
c lw 127291
c lw 127462
c lw 127554
c lw 127925
c lw 128090
c lw 128342
c lw 128526
c lw 129018
c lw 129268
c lw 129471
c lw 129520
c lw 129769
c lw 129779
c lw 130018
c lw 130835
c lw 130866
c lw 131021
c lw 131038
c lw 131986
c lw 131998
c lw 132017
c lw 132762
c lw 132959
c lw 132979
c lw 133026
c lw 133732
c lw 133812
c lw 133989
c lw 134731
c lw 134913
c lw 134983
c lw 135765
c lw 135932
c lw 136233
c lw 136438
c lw 136671
c lw 137278
c lw 137445
c lw 137472
c lw 138300
c lw 139159
c lw 139461
c lw 139474
c lw 139638
c lw 140239
c lw 140514
c lw 141384
c lw 141927
c lw 141930
c lw 142587
c lw 142671
c lw 142723
c lw 142774
c lw 142885
c lw 143003
c lw 143343
c lw 143648
c lw 143664
c lw 143699
c lw 143819
c lw 144207
c lw 144336
c lw 144367
c lw 144375
c lw 144629
c lw 144909
c lw 144995
c lw 145749
c lw 146135
c lw 146164
c lw 146734
c lw 146769
c lw 147023
c lw 147501
c lw 147740
c lw 147799
c lw 148577
c lw 148585
c lw 148601
c lw 148717
c lw 149008
c lw 149412
c lw 149816
c lw 149863
c lw 150066
c lw 150095
c lw 150271
c lw 150476
c lw 150675
c lw 150979
c lw 151148
c lw 151204
c lw 151440
c lw 152063
c lw 152165
c lw 152522
c lw 152677
c lw 152740
c lw 153460
c lw 153507
c lw 153688
c lw 153765
c lw 153871
c lw 153962
c lw 154484
c lw 154599
c lw 155001
c lw 155405
c lw 155752
c lw 156024
c lw 156042
c lw 156210
c lw 156296
c lw 156949
c lw 157252
c lw 157277
c lw 158007
c lw 158210
c lw 158238
c lw 158597
c lw 159469
c lw 159558
c lw 159664
c lw 159684
c lw 159857
c lw 159977
c lw 160522
c lw 160964
c lw 161330
c lw 161489
c lw 161776
c lw 161964
c lw 162585
c lw 162705
c lw 162723
c lw 162741
c lw 162748
c lw 162901
c lw 163045
c lw 163065
c lw 163071
c lw 163108
c lw 163138
c lw 163174
c lw 163183
c lw 163483
c lw 164144
c lw 164261
c lw 164926
c lw 165250
c lw 165301
c lw 165638
c lw 165926
c lw 166398
c lw 166473
c lw 166924
c lw 167118
c lw 167470
c lw 167493
c lw 168008
c lw 168166
c lw 168626
c lw 168632
c lw 168903
c lw 168906
c lw 168976
c lw 169063
c lw 169208
c lw 169247
c lw 169368
c lw 169503
c lw 169518
c lw 169523
c lw 169576
c lw 169616
c lw 169705
c lw 170061
c lw 170128
c lw 170490
c lw 170614
c lw 170626
c lw 170633
c lw 171019
c lw 171155
c lw 171451
c lw 171495
c lw 171678
c lw 171694
c lw 172016
c lw 172202
c lw 172307
c lw 172620
c lw 173431
c lw 173555
c lw 174059
c lw 174249
c lw 174259
c lw 174885
c lw 175106
c lw 175440
c lw 175842
c lw 176296
c lw 176367
c lw 176390
c lw 176699
c lw 177292
c lw 177712
c lw 177726
c lw 177937
c lw 177978
c lw 178257
c lw 178284
c lw 178436
c lw 178484
c lw 179156
c lw 179204
c lw 179348
c lw 179363
c lw 179411
c lw 179426
c lw 179927
c lw 180201
c lw 180685
c lw 181093
c lw 181127
c lw 181358
c lw 181547
c lw 182115
c lw 182438
c lw 182495
c lw 182597
c lw 182996
c lw 183165
c lw 183298
c lw 183379
c lw 184016
c lw 184529
c lw 184619
c lw 184756
c lw 184802
c lw 184885
c lw 185117
c lw 185370
c lw 185772
c lw 186433
c lw 186852
c lw 186879
c lw 186900
c lw 186915
c lw 187130
c lw 187462
c lw 187738
c lw 188032
c lw 188199
c lw 189080
c lw 189482
c lw 189781
c lw 190602
c lw 191101
c lw 191483
c lw 191789
c lw 192012
c lw 192269
c lw 192613
c lw 192669
c lw 192801
c lw 192836
c lw 192872
c lw 192949
c lw 193098
c lw 193113
c lw 193172
c lw 193194
c lw 193433
c lw 194091
c lw 194122
c lw 194659
c lw 194857
c lw 195583
c lw 195623
c lw 195644
c lw 195720
c lw 195767
c lw 195898
c lw 196043
c lw 196512
c lw 196584
c lw 196674
c lw 196983
c lw 197192
c lw 197344
c lw 197654
c lw 198391
c lw 198504
c lw 198610
c lw 198635
c lw 198770
c lw 198812
c lw 198949
c lw 199253
c lw 199270
c lw 199312
c lw 199333
c lw 199346
c lw 199406
c lw 199415
c lw 199426
c lw 199580
c lw 199598
c lw 199640
c lw 199659
c lw 199661
c lw 199670
c lw 199678
c lw 199712
c lw 199730
c lw 199814
c lw 199855
c lw 199864
c lw 199884
c lw 199893
c lw 199915
c lw 199916
c lw 199977
c lw 200130
c lw 200217
c lw 200334
c lw 200784
c lw 201121
c lw 201187
c lw 201332
c lw 201914
c lw 202166
c lw 202524
c lw 203324
c lw 203564
c lw 203619
c lw 203956
c lw 204014
c lw 204467
c lw 204468
c lw 204491
c lw 204548
c lw 204614
c lw 204851
c lw 204852
c lw 204879
c lw 205010
c lw 205016
c lw 205548
c lw 205603
c lw 205621
c lw 206475
c lw 206685
c lw 206872
c lw 207078
c lw 207965
c lw 208039
c lw 208256
c lw 208649
c lw 208945
c lw 208984
c lw 209065
c lw 210001
c lw 210111
c lw 210148
c lw 210264
c lw 210270
c lw 210290
c lw 210434
c lw 210457
c lw 210477
c lw 210536
c lw 210557
c lw 210565
c lw 210659
c lw 210711
c lw 211038
c lw 211436
c lw 211498
c lw 211598
c lw 211744
c lw 211863
c lw 211960
c lw 212031
c lw 212113
c lw 212190
c lw 212208
c lw 212355
c lw 212757
c lw 212779
c lw 212829
c lw 213124
c lw 213234
c lw 213334
c lw 213402
c lw 214948
c lw 215062
c lw 215142
c lw 215273
c lw 215614
c lw 215734
c lw 215758
c lw 216162
c lw 216322
c lw 216365
c lw 216444
c lw 217090
c lw 217098
c lw 217417
c lw 217776
c lw 218231
c lw 218253
c lw 218290
c lw 218387
c lw 218442
c lw 218527
c lw 218581
c lw 218662
c lw 218804
c lw 219071
c lw 219442
c lw 219977
c lw 220207
c lw 220253
c lw 220270
c lw 220356
c lw 220379
c lw 220701
c lw 221138
c lw 221375
c lw 222188
c lw 222243
c lw 222274
c lw 222472
c lw 222486
c lw 222503
c lw 222670
c lw 223194
c lw 223526
c lw 223618
c lw 223788
c lw 224078
c lw 224458
c lw 224546
c lw 224598
c lw 224835
c lw 225172
c lw 225518
c lw 225640
c lw 226087
c lw 226227
c lw 226228
c lw 226255
c lw 226269
c lw 226827
c lw 227275
c lw 227609
c lw 227691
c lw 227823
c lw 227935
c lw 228042
c lw 228053
c lw 228114
c lw 228398
c lw 228587
c lw 228987
c lw 229145
c lw 229841
c lw 230276
c lw 230279
c lw 230458
c lw 231017
c lw 231239
c lw 231264
c lw 231562
c lw 231588
c lw 231678
c lw 232200
c lw 232239
c lw 232450
c lw 232599
c lw 232657
c lw 232669
c lw 232691
c lw 232708
c lw 232711
c lw 232756
c lw 232773
c lw 232781
c lw 232788
c lw 232801
c lw 232802
c lw 232834
c lw 233818
c lw 233869
c lw 234166
c lw 234258
c lw 234381
c lw 234496
c lw 235194
c lw 235351
c lw 235419
c lw 235758
c lw 235840
c lw 235844
c lw 235876
c lw 235909
c lw 235995
c lw 236740
c lw 236846
c lw 236959
c lw 237369
c lw 237712
c lw 237748
c lw 237783
c lw 237803
c lw 237911
c lw 237966
c lw 238145
c lw 238487
c lw 238500
c lw 238641
c lw 238647
c lw 238704
c lw 238777
c lw 238799
c lw 238803
c lw 238912
c lw 239018
c lw 239054
c lw 239063
c lw 239073
c lw 239074
c lw 239092
c lw 239093
c lw 239127
c lw 239415
c lw 239955
c lw 240437
c lw 240704
c lw 240714
c lw 240850
c lw 241422
c lw 241423
c lw 241428
c lw 241435
c lw 241438
c lw 241442
c lw 241445
c lw 241446
c lw 241450
c lw 241453
c lw 241454
c lw 241457
c lw 241495
c lw 241564
c lw 241567
c lw 241709
c lw 242967
c lw 243193
c lw 243771
c lw 243820
c lw 244499
c lw 245165
c lw 245173
c lw 245181
c lw 245182
c lw 245183
c lw 245191
c lw 245192
c lw 245195
c lw 245200
c lw 245254
c lw 245279
c lw 245496
c lw 245497
c lw 245502
c lw 245556
c lw 245583
c lw 246090
c lw 246282
c lw 246357
c lw 246444
c lw 246472
c lw 247375
c lw 247638
c lw 247651
c lw 247826
c lw 248322
c lw 248444
c lw 248481
c lw 248496
c lw 248853
c lw 248860
c lw 249698
c lw 249956
c lw 250850
c lw 250972
c lw 251114
c lw 251288
c lw 251404
c lw 252029
c lw 252339
c lw 253252
c lw 253322
c lw 253422
c lw 253926
c lw 254536
c lw 255053
c lw 255181
c lw 255416
c lw 255514
c lw 255557
c lw 255743
c lw 255798
c lw 255817
c lw 255849
c lw 255853
c lw 255931
c lw 255933
c lw 255946
c lw 255949
c lw 255971
c lw 256015
c lw 256051
c lw 256067
c lw 256079
c lw 256083
c lw 256085
c lw 256097
c lw 256101
c lw 256104
c lw 256107
c lw 256120
c lw 256152
c lw 256153
c lw 256155
c lw 256156
c lw 256157
c lw 256158
c lw 256164
c lw 256165
c lw 256173
c lw 256174
c lw 256178
c lw 256184
c lw 256186
c lw 256187
c lw 256190
c lw 256193
c lw 256198
c lw 256199
c lw 256200
c lw 256201
c lw 256202
c lw 256205
c lw 256207
c lw 256208
c lw 256209
c lw 256210
c lw 256211
c lw 256212
c lw 256213
c lw 256214
c lw 256215
c lw 256216
c lw 256217
c lw 256218
c lw 256219
c lw 256222
c lw 256224
c lw 256225
c lw 256228
c lw 256229
c lw 256231
c lw 256232
c lw 256234
c lw 256236
c lw 256237
c lw 256238
c lw 256240
c lw 256241
c lw 256242
c lw 256243
c lw 256244
c lw 256245
c lw 256246
c lw 256247
c lw 256248
c lw 256249
c lw 256250
c lw 256251
c lw 256255
c lw 256256
c lw 256257
c lw 256258
c lw 256259
c lw 256260
c lw 256261
c lw 256262
c lw 256263
c lw 256264