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-300-1_network-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1190
c lw 1411
c lw 2974
c lw 3007
c lw 3215
c lw 4952
c lw 5492
c lw 6908
c lw 7785
c lw 8949
c lw 9724
c lw 10692
c lw 10928
c lw 11193
c lw 12786
c lw 13379
c lw 13562
c lw 14299
c lw 15755
c lw 17513
c lw 18156
c lw 18462
c lw 19187
c lw 19525
c lw 19841
c lw 20225
c lw 21249
c lw 22590
c lw 23972
c lw 24353
c lw 25094
c lw 25520
c lw 26447
c lw 27974
c lw 29245
c lw 29902
c lw 31296
c lw 32394
c lw 33326
c lw 33838
c lw 34198
c lw 35005
c lw 35599
c lw 36132
c lw 36365
c lw 36778
c lw 37683
c lw 37853
c lw 38290
c lw 38406
c lw 39055
c lw 39306
c lw 39713
c lw 39740
c lw 39940
c lw 40166
c lw 40421
c lw 40659
c lw 41001
c lw 41163
c lw 41228
c lw 41821
c lw 41916
c lw 41980
c lw 42039
c lw 42047
c lw 42439
c lw 42568
c lw 42920
c lw 43010
c lw 43198
c lw 43719
c lw 43931
c lw 44218
c lw 44983
c lw 45598
c lw 46404
c lw 47014
c lw 47279
c lw 47602
c lw 48289
c lw 48414
c lw 48959
c lw 49096
c lw 49133
c lw 49610
c lw 49681
c lw 49718
c lw 51296
c lw 51405
c lw 51758
c lw 52342
c lw 52677
c lw 53447
c lw 54353
c lw 54793
c lw 55111
c lw 55526
c lw 55878
c lw 57414
c lw 57484
c lw 57997
c lw 58044
c lw 58732
c lw 59352
c lw 59899
c lw 60028
c lw 60112
c lw 60379
c lw 60441
c lw 60446
c lw 61035
c lw 61359
c lw 62535
c lw 62973
c lw 63164
c lw 63346
c lw 64174
c lw 64445
c lw 65146
c lw 65541
c lw 66178
c lw 66454
c lw 66518
c lw 66561
c lw 66693
c lw 67104
c lw 67771
c lw 68052
c lw 68055
c lw 68152
c lw 68598
c lw 68657
c lw 68665
c lw 69057
c lw 69318
c lw 69539
c lw 69834
c lw 70415
c lw 70671
c lw 71298
c lw 71532
c lw 71632
c lw 71919
c lw 72825
c lw 73065
c lw 73112
c lw 73589
c lw 73749
c lw 73928
c lw 73975
c lw 74070
c lw 74335
c lw 74472
c lw 74509
c lw 74718
c lw 74986
c lw 75057
c lw 75094
c lw 75380
c lw 75927
c lw 75929
c lw 76560
c lw 76804
c lw 76988
c lw 77275
c lw 77345
c lw 77399
c lw 77858
c lw 77905
c lw 78045
c lw 78210
c lw 78731
c lw 78758
c lw 78906
c lw 79292
c lw 79719
c lw 80015
c lw 80201
c lw 80467
c lw 80777
c lw 80851
c lw 81134
c lw 81345
c lw 81843
c lw 81895
c lw 82022
c lw 82114
c lw 82499
c lw 82755
c lw 82809
c lw 83014
c lw 83080
c lw 83286
c lw 83458
c lw 83953
c lw 84528
c lw 84625
c lw 85071
c lw 85449
c lw 85647
c lw 85882
c lw 86122
c lw 86613
c lw 86798
c lw 86923
c lw 86929
c lw 86952
c lw 88021
c lw 88178
c lw 88492
c lw 88725
c lw 88870
c lw 88877
c lw 88997
c lw 89204
c lw 89750
c lw 89853
c lw 90387
c lw 90446
c lw 90544
c lw 90677
c lw 90781
c lw 91780
c lw 91948
c lw 91972
c lw 92635
c lw 93272
c lw 93376
c lw 93646
c lw 94528
c lw 94665
c lw 94739
c lw 94798
c lw 94879
c lw 95004
c lw 95429
c lw 95912
c lw 96527
c lw 96656
c lw 96882
c lw 97064
c lw 97203
c lw 97225
c lw 97924
c lw 98235
c lw 98332
c lw 98614
c lw 99045
c lw 100519
c lw 101935
c lw 101957
c lw 102082
c lw 102212
c lw 102443
c lw 102589
c lw 102894
c lw 103213
c lw 103354
c lw 103388
c lw 103969
c lw 104417
c lw 104533
c lw 104732
c lw 104950
c lw 104990
c lw 105137
c lw 105141
c lw 106238
c lw 106295
c lw 106325
c lw 106446
c lw 106474
c lw 106538
c lw 107222
c lw 107987
c lw 108036
c lw 108551
c lw 108641
c lw 108752
c lw 108921
c lw 109111
c lw 109916
c lw 109984
c lw 110165
c lw 110470
c lw 110705
c lw 110829
c lw 110891
c lw 111101
c lw 111980
c lw 112075
c lw 112282
c lw 112906
c lw 113039
c lw 113136
c lw 113248
c lw 113412
c lw 114001
c lw 114070
c lw 114468
c lw 114623
c lw 114638
c lw 114867
c lw 115082
c lw 115201
c lw 115787
c lw 115928
c lw 115938
c lw 117283
c lw 117387
c lw 117392
c lw 117459
c lw 117710
c lw 117951
c lw 118012
c lw 118280
c lw 118381
c lw 118411
c lw 119789
c lw 119819
c lw 119989
c lw 120022
c lw 120285
c lw 120302
c lw 120414
c lw 120616
c lw 120624
c lw 120709
c lw 121506
c lw 121508
c lw 121663
c lw 121937
c lw 122226
c lw 122233
c lw 122505
c lw 122519
c lw 122757
c lw 122896
c lw 122990
c lw 123166
c lw 123222
c lw 123469
c lw 123707
c lw 123711
c lw 123719
c lw 123811
c lw 124070
c lw 124225
c lw 124259
c lw 124433
c lw 124476
c lw 124722
c lw 124820
c lw 125026
c lw 125930
c lw 125931
c lw 127082
c lw 127467
c lw 128050
c lw 128151
c lw 128216
c lw 128369
c lw 128596
c lw 128972
c lw 129484
c lw 129634
c lw 129753
c lw 130110
c lw 130565
c lw 130589
c lw 130599
c lw 130628
c lw 130643
c lw 131374
c lw 131402
c lw 131758
c lw 132522
c lw 132702
c lw 132713
c lw 133058
c lw 133451
c lw 133619
c lw 134763
c lw 135392
c lw 135770
c lw 135848
c lw 136062
c lw 136173
c lw 136186
c lw 136187
c lw 136197
c lw 136833
c lw 136845
c lw 136978
c lw 137090
c lw 137276
c lw 137415
c lw 137542
c lw 138052
c lw 138209
c lw 139643
c lw 139748
c lw 141027
c lw 141186
c lw 142113
c lw 142620
c lw 142717
c lw 142788
c lw 142792
c lw 142816
c lw 142897
c lw 143067
c lw 143604
c lw 143648
c lw 143704
c lw 143720
c lw 143772
c lw 143787
c lw 143826
c lw 143904
c lw 143968
c lw 144064
c lw 144135
c lw 144329
c lw 144389
c lw 145125
c lw 145127
c lw 145433
c lw 145501
c lw 146477
c lw 146481
c lw 146485
c lw 146894
c lw 147009
c lw 147049
c lw 147614
c lw 147672
c lw 148002
c lw 148044
c lw 148052
c lw 148054
c lw 148111
c lw 148269
c lw 148389
c lw 148551
c lw 148683
c lw 149095
c lw 149175
c lw 149480
c lw 150283
c lw 150293
c lw 150468
c lw 150515
c lw 150601
c lw 150630
c lw 150974
c lw 151317
c lw 151351
c lw 151393
c lw 151592
c lw 151969
c lw 151986
c lw 152006
c lw 152106
c lw 152115
c lw 152232
c lw 152465
c lw 152516
c lw 152726
c lw 152927
c lw 152943
c lw 153025
c lw 153564
c lw 153569
c lw 153630
c lw 153974
c lw 154860
c lw 154890
c lw 154902
c lw 154931
c lw 155388
c lw 156076
c lw 156095
c lw 156195
c lw 156541
c lw 157014
c lw 157264
c lw 157359
c lw 157506
c lw 157614
c lw 157797
c lw 158142
c lw 158595
c lw 158600
c lw 158620
c lw 158633
c lw 159315
c lw 159824
c lw 160054
c lw 160369
c lw 160594
c lw 160606
c lw 160703
c lw 161072
c lw 161288
c lw 161388
c lw 161635
c lw 161782
c lw 161903
c lw 162219
c lw 162228
c lw 162514
c lw 162796
c lw 162845
c lw 162852
c lw 162919
c lw 162959
c lw 163172
c lw 163806
c lw 163846
c lw 163888
c lw 163973
c lw 164092
c lw 164223
c lw 164315
c lw 164670
c lw 164875
c lw 165041
c lw 165482
c lw 165995
c lw 166047
c lw 166597
c lw 166636
c lw 167553
c lw 167623
c lw 167630
c lw 167631
c lw 167632
c lw 167633
c lw 167634
c lw 167639
c lw 167666
c lw 167782
c lw 167826
c lw 168133
c lw 168710
c lw 168971
c lw 169301
c lw 169431
c lw 169540
c lw 169568
c lw 169597
c lw 169661
c lw 169740
c lw 169795
c lw 169892
c lw 169949
c lw 169953
c lw 169988
c lw 169993
c lw 169995
c lw 170001
c lw 170125
c lw 170191
c lw 170282
c lw 170324
c lw 170999
c lw 171244
c lw 171302
c lw 171407
c lw 171515
c lw 171544
c lw 171649
c lw 171760
c lw 171802
c lw 171953
c lw 172029
c lw 172136
c lw 172248
c lw 172255
c lw 172431
c lw 172519
c lw 172536
c lw 172681
c lw 172697
c lw 172974
c lw 173034
c lw 173085
c lw 173235
c lw 173267
c lw 173324
c lw 173384
c lw 173421
c lw 174704
c lw 174709
c lw 174738
c lw 174903
c lw 175755
c lw 175812
c lw 175814
c lw 175821
c lw 176908
c lw 176911
c lw 177109
c lw 177188
c lw 177797
c lw 178171
c lw 178457
c lw 179097
c lw 179340
c lw 179460
c lw 179579
c lw 180578
c lw 180687
c lw 180695
c lw 180718
c lw 180897
c lw 180907
c lw 181386
c lw 181676
c lw 181735
c lw 181750
c lw 181817
c lw 181959
c lw 182029
c lw 183113
c lw 183243
c lw 183358
c lw 184329
c lw 185514
c lw 185597
c lw 185633
c lw 185712
c lw 185893
c lw 185978
c lw 186516
c lw 186670
c lw 186947
c lw 186975
c lw 186996
c lw 187153
c lw 187914
c lw 187937
c lw 188197
c lw 188330
c lw 188800
c lw 188847
c lw 189378
c lw 189464
c lw 189752
c lw 189876
c lw 189988
c lw 190383
c lw 190409
c lw 190436
c lw 190466
c lw 190476
c lw 190587
c lw 190635
c lw 190664
c lw 190678
c lw 190697
c lw 190700
c lw 190703
c lw 190722
c lw 190728
c lw 190736
c lw 190751
c lw 190928
c lw 191060
c lw 191274
c lw 191286
c lw 191563
c lw 191699
c lw 191907
c lw 192503
c lw 192548
c lw 193037
c lw 193188
c lw 193355
c lw 193435
c lw 193456
c lw 193464
c lw 193597
c lw 193653
c lw 193692
c lw 194294
c lw 194295
c lw 194337
c lw 194401
c lw 194411
c lw 194414
c lw 194513
c lw 194647
c lw 195270
c lw 195574
c lw 196216
c lw 196250
c lw 197256
c lw 197265
c lw 197319
c lw 197378
c lw 197436
c lw 197552
c lw 197597
c lw 197607
c lw 197612
c lw 198610
c lw 199077
c lw 199451
c lw 199481
c lw 199488
c lw 199500
c lw 199543
c lw 199665
c lw 199722
c lw 200001
c lw 200327
c lw 200328
c lw 200345
c lw 200346
c lw 200352
c lw 200353
c lw 200354
c lw 200369
c lw 200370
c lw 200429
c lw 200957
c lw 201247
c lw 201485
c lw 201916
c lw 202361
c lw 202691
c lw 202829
c lw 202992
c lw 202994
c lw 203011
c lw 203012
c lw 203049
c lw 203051
c lw 203385
c lw 204096
c lw 204155
c lw 204176
c lw 204524
c lw 204961
c lw 205313
c lw 205700
c lw 205742
c lw 205987
c lw 205988
c lw 206671
c lw 207212
c lw 207294
c lw 207856
c lw 208052
c lw 208801
c lw 209072
c lw 209218
c lw 209645
c lw 209913
c lw 210248
c lw 210388
c lw 210673
c lw 210891
c lw 211043
c lw 211054
c lw 211057
c lw 211077
c lw 211085
c lw 211099
c lw 211105
c lw 211107
c lw 211142
c lw 211143
c lw 211152
c lw 211153
c lw 211179
c lw 211248
c lw 211269
c lw 211423
c lw 211889
c lw 212114
c lw 213208
c lw 213330
c lw 213424
c lw 213686
c lw 213813
c lw 214044
c lw 214064
c lw 214864
c lw 215125
c lw 215141
c lw 215152
c lw 215279
c lw 215280
c lw 215423
c lw 215662
c lw 216338
c lw 216464
c lw 216792
c lw 216926
c lw 217004
c lw 217099
c lw 217659
c lw 217691
c lw 218162
c lw 218592
c lw 218651
c lw 218657
c lw 218971
c lw 220038
c lw 220119
c lw 220396
c lw 220411
c lw 220854
c lw 220857
c lw 220897
c lw 221092
c lw 221245
c lw 222079
c lw 222316
c lw 222473
c lw 222692
c lw 222963
c lw 223441
c lw 223609
c lw 223826
c lw 223885
c lw 224283
c lw 224343
c lw 224467
c lw 224795
c lw 225725
c lw 226774
c lw 226799
c lw 226882
c lw 227219
c lw 227802
c lw 227957
c lw 228942
c lw 229348
c lw 230193
c lw 230242
c lw 230639
c lw 231309
c lw 231358
c lw 232108
c lw 232214
c lw 232970
c lw 233048
c lw 233059
c lw 233401
c lw 233599
c lw 233753
c lw 233950
c lw 233957
c lw 234056
c lw 234117
c lw 234712
c lw 236089
c lw 236095
c lw 236679
c lw 236754
c lw 236769
c lw 236855
c lw 236887
c lw 236976
c lw 238358
c lw 238494
c lw 238518
c lw 238686
c lw 238692
c lw 238700
c lw 238730
c lw 238737
c lw 238754
c lw 238791
c lw 238806
c lw 238812
c lw 238840
c lw 238849
c lw 238985
c lw 239214
c lw 239220
c lw 239235
c lw 239242
c lw 239261
c lw 239267
c lw 239359
c lw 239563
c lw 239631
c lw 239771
c lw 239808
c lw 239815
c lw 239816
c lw 239817
c lw 239822
c lw 239823
c lw 239828
c lw 239833
c lw 239838
c lw 239839
c lw 239840
c lw 239845
c lw 239848
c lw 239851
c lw 239871
c lw 239874
c lw 239877
c lw 239879
c lw 239909
c lw 239912
c lw 239917
c lw 239918
c lw 239920
c lw 239923
c lw 239924
c lw 239930
c lw 239934
c lw 239936
c lw 239937
c lw 239938
c lw 239939
c lw 239943
c lw 239946
c lw 239949
c lw 239950
c lw 239956
c lw 239957
c lw 239958
c lw 239959
c lw 239960
c lw 239961
c lw 239962
c lw 239963
c lw 239964
c lw 239965
c lw 239966
c lw 239967
c lw 239968
c lw 239969
c lw 239970
c lw 239971
c lw 239972
c lw 239973
c lw 239974
c lw 239975
c lw 239976
c lw 239977
c lw 239978
c lw 239979
c lw 239980
c lw 239981
c lw 239982
c lw 239983
c lw 239984
c lw 239985
c lw 239986
c lw 239987
c lw 239988
c lw 239989
c lw 239990
c lw 239991
c lw 239992
c lw 240144
c lw 241373
c lw 242376
c lw 242411
c lw 242622
c lw 243185
c lw 243483
c lw 244400
c lw 244684
c lw 244800
c lw 245259
c lw 245270
c lw 245410
c lw 246522
c lw 247087
c lw 247099
c lw 247182
c lw 247445
c lw 247572
c lw 247710
c lw 247966
c lw 248308
c lw 248599
c lw 249069
c lw 249403
c lw 250123
c lw 250155
c lw 250344
c lw 250476
c lw 250530
c lw 250753
c lw 251093
c lw 251241
c lw 251653
c lw 252020
c lw 252066
c lw 252371
c lw 253261
c lw 253579
c lw 253740
c lw 254075
c lw 254289
c lw 255159
c lw 255509
c lw 255601
c lw 256377
c lw 256429
c lw 256796
c lw 256872
c lw 257239
c lw 257740
c lw 258626
c lw 258785
c lw 258810
c lw 259253
c lw 259804
c lw 259867
c lw 260697
c lw 261208
c lw 261231
c lw 261487
c lw 261514
c lw 261550
c lw 261562
c lw 262358
c lw 262394
c lw 262398
c lw 262406
c lw 262421
c lw 262944
c lw 263204
c lw 263212
c lw 263564
c lw 263720
c lw 264437
c lw 265184
c lw 265274
c lw 265277
c lw 266075
c lw 266506
c lw 266589
c lw 266751
c lw 267516
c lw 267567
c lw 267650
c lw 267651
c lw 267652
c lw 267653