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-50-2_network-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 478
c lw 1150
c lw 2509
c lw 3947
c lw 5242
c lw 6144
c lw 6966
c lw 7176
c lw 7835
c lw 7879
c lw 8523
c lw 9006
c lw 9773
c lw 9812
c lw 10025
c lw 10172
c lw 10308
c lw 10646
c lw 11021
c lw 11255
c lw 11466
c lw 11483
c lw 11510
c lw 12156
c lw 12205
c lw 12935
c lw 12987
c lw 13305
c lw 13476
c lw 13652
c lw 13679
c lw 13862
c lw 13884
c lw 13893
c lw 13901
c lw 13911
c lw 13928
c lw 13953
c lw 13958
c lw 13988
c lw 14155
c lw 14337
c lw 14579
c lw 14935
c lw 15548
c lw 15679
c lw 15855
c lw 15919
c lw 16003
c lw 16013
c lw 16020
c lw 16023
c lw 16165
c lw 16227
c lw 16239
c lw 16584
c lw 16619
c lw 16664
c lw 16728
c lw 16749
c lw 16868
c lw 16898
c lw 16907
c lw 16923
c lw 17022
c lw 17110
c lw 17159
c lw 17719
c lw 18268
c lw 18310
c lw 18476
c lw 18506
c lw 18511
c lw 18559
c lw 18585
c lw 18647
c lw 18663
c lw 18698
c lw 19043
c lw 19144
c lw 19521
c lw 19536
c lw 19579
c lw 19639
c lw 19648
c lw 19728
c lw 19752
c lw 19994
c lw 20908
c lw 21081
c lw 21149
c lw 21152
c lw 21155
c lw 21159
c lw 21180
c lw 21286
c lw 21289
c lw 21290
c lw 21291
c lw 21292
c lw 21293
c lw 21294
c lw 21295
c lw 21296
c lw 21297
c lw 21298
c lw 21466
c lw 21479
c lw 22226
c lw 22382
c lw 22521
c lw 23564
c lw 23575
c lw 23875
c lw 24060
c lw 24590
c lw 24614
c lw 24844
c lw 25102
c lw 25107
c lw 25437
c lw 25874
c lw 26526
c lw 26748
c lw 26753
c lw 26833
c lw 26884
c lw 27502
c lw 27733
c lw 27862
c lw 27879
c lw 28258
c lw 28372
c lw 28403
c lw 28448
c lw 28472
c lw 28571
c lw 28847
c lw 28990
c lw 29062
c lw 29320
c lw 29662
c lw 29681
c lw 29979
c lw 30649
c lw 32045
c lw 32149
c lw 32350
c lw 32533
c lw 32575
c lw 32912
c lw 33018
c lw 33248
c lw 33259
c lw 33341
c lw 33345
c lw 33355
c lw 33366
c lw 33392
c lw 33438
c lw 33532
c lw 33544
c lw 33593
c lw 33612
c lw 33616
c lw 33687
c lw 33738
c lw 33801
c lw 33820
c lw 33835
c lw 33878
c lw 33901
c lw 33920
c lw 33973
c lw 33984
c lw 34001
c lw 34003
c lw 34008
c lw 34016
c lw 34022
c lw 34025
c lw 34037
c lw 34074
c lw 34079
c lw 34084
c lw 34085
c lw 34123
c lw 34125
c lw 34134
c lw 34136
c lw 34138
c lw 34166
c lw 34170
c lw 34175
c lw 34183
c lw 34189
c lw 34195
c lw 34204
c lw 34208
c lw 34212
c lw 34216
c lw 34221
c lw 34227
c lw 34231
c lw 34235
c lw 34236
c lw 34237
c lw 34289
c lw 34306
c lw 34312
c lw 34331
c lw 34336
c lw 34339
c lw 34345
c lw 34364
c lw 34365
c lw 34368
c lw 34370
c lw 34379
c lw 34385
c lw 34391
c lw 34408
c lw 34435
c lw 34454
c lw 34456
c lw 34458
c lw 34460
c lw 34479
c lw 34491
c lw 34495
c lw 34739
c lw 34745
c lw 34863
c lw 34884
c lw 34886
c lw 34977
c lw 34983
c lw 34998
c lw 35065
c lw 35078
c lw 35079
c lw 35103
c lw 35239
c lw 35248
c lw 35328
c lw 35346
c lw 35352
c lw 35445
c lw 35456
c lw 35491
c lw 35511
c lw 35524
c lw 35572
c lw 35576
c lw 35578
c lw 35579
c lw 35580
c lw 35581
c lw 35582
c lw 35585
c lw 35600
c lw 35607
c lw 35618
c lw 35633
c lw 35646
c lw 35663
c lw 35667
c lw 35682
c lw 35916
c lw 35975
c lw 36163
c lw 36188
c lw 36340
c lw 36389
c lw 36407
c lw 36413
c lw 36594
c lw 37369
c lw 37639
c lw 37758
c lw 37797
c lw 37799
c lw 37840
c lw 37842
c lw 37868
c lw 37890
c lw 37900
c lw 38016
c lw 38568
c lw 38759
c lw 39396
c lw 39512
c lw 39829
c lw 40342
c lw 40354
c lw 40379
c lw 40435
c lw 40481
c lw 40816
c lw 41129
c lw 41313
c lw 41335
c lw 41351
c lw 41406
c lw 41447
c lw 41536
c lw 41576
c lw 41678
c lw 41708
c lw 41968
c lw 42094
c lw 42167
c lw 42243
c lw 42256
c lw 42380
c lw 42466
c lw 42476
c lw 42515
c lw 42557
c lw 42575
c lw 42591
c lw 42598
c lw 42613
c lw 42614
c lw 42660
c lw 42669
c lw 42714
c lw 42792
c lw 42856
c lw 42857
c lw 42966
c lw 43060
c lw 43098
c lw 43213
c lw 43231
c lw 43232
c lw 43327
c lw 43437
c lw 43489
c lw 43517
c lw 43523
c lw 43740
c lw 43752
c lw 43774
c lw 44342
c lw 44369
c lw 44389
c lw 44534
c lw 44609
c lw 44620
c lw 44635
c lw 44668
c lw 44685
c lw 44698
c lw 44704
c lw 44714
c lw 44725
c lw 44751
c lw 44771
c lw 44804
c lw 44810
c lw 44816
c lw 44818
c lw 44819
c lw 44822
c lw 44825
c lw 44849
c lw 44856
c lw 44873
c lw 44876
c lw 44882
c lw 44884
c lw 44890
c lw 44896
c lw 44898
c lw 44904
c lw 44905
c lw 44907
c lw 44909
c lw 44916
c lw 44973
c lw 45033
c lw 45072
c lw 45269
c lw 45391
c lw 45392
c lw 45545
c lw 45633
c lw 45671
c lw 45827
c lw 45943
c lw 45944
c lw 46111
c lw 46308
c lw 46347
c lw 46404
c lw 46412
c lw 46414
c lw 46426
c lw 46437
c lw 46446
c lw 46455
c lw 46459
c lw 46471
c lw 46473
c lw 46478
c lw 46480
c lw 46489
c lw 46490
c lw 46499
c lw 46521
c lw 46523
c lw 46528
c lw 46536
c lw 46543
c lw 46555
c lw 46558
c lw 46563
c lw 46564
c lw 46565
c lw 46567
c lw 46568
c lw 46569
c lw 46570
c lw 46571
c lw 46572
c lw 46573
c lw 46574
c lw 46575
c lw 46579
c lw 46580
c lw 46582
c lw 46583
c lw 46584
c lw 46585
c lw 46586