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-40-2_network-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 348
c lw 977
c lw 2223
c lw 3738
c lw 4676
c lw 5410
c lw 6391
c lw 7268
c lw 7789
c lw 7909
c lw 8047
c lw 8093
c lw 8817
c lw 8833
c lw 8974
c lw 9978
c lw 10384
c lw 10517
c lw 10695
c lw 10815
c lw 10851
c lw 11108
c lw 11217
c lw 11296
c lw 11537
c lw 11555
c lw 11697
c lw 11806
c lw 12054
c lw 12063
c lw 12099
c lw 12207
c lw 12219
c lw 12235
c lw 12253
c lw 12395
c lw 12419
c lw 13539
c lw 13594
c lw 13618
c lw 13636
c lw 13663
c lw 14151
c lw 14406
c lw 14768
c lw 14859
c lw 14881
c lw 15034
c lw 15138
c lw 15229
c lw 15317
c lw 15339
c lw 15376
c lw 15393
c lw 15962
c lw 15974
c lw 16036
c lw 16065
c lw 16140
c lw 16141
c lw 16258
c lw 16293
c lw 16315
c lw 16332
c lw 16369
c lw 16384
c lw 16470
c lw 16522
c lw 16557
c lw 16608
c lw 16623
c lw 16660
c lw 16671
c lw 16674
c lw 16675
c lw 16677
c lw 16699
c lw 16743
c lw 16837
c lw 16926
c lw 16951
c lw 17058
c lw 17144
c lw 17145
c lw 17148
c lw 17149
c lw 17151
c lw 17173
c lw 17203
c lw 17217
c lw 17232
c lw 17254
c lw 17266
c lw 17336
c lw 17358
c lw 17360
c lw 17361
c lw 17363
c lw 17364
c lw 17375
c lw 17392
c lw 17412
c lw 17417
c lw 17427
c lw 17439
c lw 17456
c lw 17478
c lw 17493
c lw 17508
c lw 17513
c lw 17535
c lw 17572
c lw 17589
c lw 17594
c lw 17601
c lw 17614
c lw 17663
c lw 17680
c lw 17681
c lw 17684
c lw 17685
c lw 17687
c lw 17688
c lw 17689
c lw 17692
c lw 17701
c lw 17704
c lw 17709
c lw 17714
c lw 17739
c lw 17763
c lw 17764
c lw 17766
c lw 17767
c lw 17769
c lw 17778
c lw 17781
c lw 17791
c lw 17793
c lw 17805
c lw 18725
c lw 19373
c lw 19389
c lw 19431
c lw 19434
c lw 19436
c lw 19452
c lw 19453
c lw 19454
c lw 19455
c lw 19456
c lw 19457
c lw 19458
c lw 19460
c lw 19461
c lw 19478
c lw 19480
c lw 19481
c lw 19483
c lw 19484
c lw 19489
c lw 19490
c lw 19494
c lw 19826
c lw 19847
c lw 20914
c lw 20946
c lw 21008
c lw 21061
c lw 21165
c lw 21168
c lw 21170
c lw 21219
c lw 21225
c lw 21247
c lw 21338
c lw 21348
c lw 21356
c lw 21385
c lw 21562
c lw 21807
c lw 21981
c lw 22023
c lw 22182
c lw 22234
c lw 22538
c lw 22652
c lw 22864
c lw 22917
c lw 23191
c lw 23365
c lw 23583
c lw 23691
c lw 23822
c lw 23838
c lw 23942
c lw 24035
c lw 24038
c lw 24060
c lw 24105
c lw 24272
c lw 24325
c lw 25184
c lw 25220
c lw 25221
c lw 25222
c lw 25223
c lw 25224
c lw 25225
c lw 25226
c lw 25228
c lw 25240
c lw 25242
c lw 25244
c lw 25245
c lw 25247
c lw 25248
c lw 25250
c lw 25253
c lw 25254
c lw 25263
c lw 25270
c lw 25271
c lw 25272
c lw 25273
c lw 25274
c lw 25275
c lw 25276
c lw 25277
c lw 25278
c lw 25288
c lw 25326
c lw 25827
c lw 26348
c lw 26564
c lw 26628
c lw 26629
c lw 26694
c lw 26697
c lw 26732
c lw 26912
c lw 27007
c lw 27121
c lw 27188
c lw 27226
c lw 27498
c lw 27675
c lw 27835
c lw 27845
c lw 27965
c lw 28051
c lw 28162
c lw 28206
c lw 28312
c lw 28443
c lw 28488
c lw 28515
c lw 28620
c lw 28835
c lw 29719
c lw 29729
c lw 29734
c lw 29790
c lw 29835
c lw 29880
c lw 30522
c lw 30532
c lw 30538
c lw 30584
c lw 30586
c lw 30642
c lw 30714
c lw 30719
c lw 30763
c lw 30768
c lw 30773
c lw 30782
c lw 30810
c lw 30815
c lw 30820
c lw 30825
c lw 30830
c lw 30849
c lw 30854
c lw 30946
c lw 31106
c lw 31649
c lw 32362
c lw 32649
c lw 32708
c lw 33106
c lw 33235
c lw 33339
c lw 34021
c lw 34072
c lw 34287
c lw 34315
c lw 34319
c lw 34320
c lw 34333
c lw 34335
c lw 34570
c lw 34608
c lw 34609
c lw 34614
c lw 34635
c lw 34790
c lw 34940
c lw 34944
c lw 34945
c lw 34946
c lw 34947
c lw 34948
c lw 34949
c lw 34958
c lw 34963
c lw 34964
c lw 34966
c lw 34967
c lw 34970
c lw 34971
c lw 34976
c lw 34980
c lw 34981
c lw 34982
c lw 34983
c lw 34984
c lw 34986
c lw 34988
c lw 34989
c lw 34991
c lw 34992
c lw 34995
c lw 34998
c lw 34999
c lw 35001
c lw 35002
c lw 35004
c lw 35005
c lw 35008
c lw 35009
c lw 35010
c lw 35011
c lw 35015
c lw 35020
c lw 35022
c lw 35024
c lw 35025
c lw 35026
c lw 35027
c lw 35028
c lw 35034
c lw 35039
c lw 35041
c lw 35042
c lw 35043
c lw 35044
c lw 35045
c lw 35046
c lw 35047
c lw 35054
c lw 35057
c lw 35065
c lw 35067
c lw 35075
c lw 35088
c lw 35092
c lw 35093
c lw 35097
c lw 35098
c lw 35102
c lw 35105
c lw 35111
c lw 35122
c lw 35125
c lw 35130
c lw 35131
c lw 35132
c lw 35135
c lw 35136
c lw 35137
c lw 35140
c lw 35141
c lw 35142
c lw 35145
c lw 35146
c lw 35147
c lw 35149
c lw 35150
c lw 35151
c lw 35152
c lw 35153
c lw 35154
c lw 35155
c lw 35156
c lw 35157
c lw 35158
c lw 35159
c lw 35160
c lw 35161
c lw 35162
c lw 35163
c lw 35164
c lw 35165
c lw 35166
c lw 35167
c lw 35168
c lw 35169
c lw 35170
c lw 35171