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-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 549
c lw 1478
c lw 2845
c lw 4223
c lw 5867
c lw 6939
c lw 7338
c lw 7779
c lw 8985
c lw 10418
c lw 11672
c lw 13454
c lw 14110
c lw 14167
c lw 14339
c lw 14554
c lw 15117
c lw 15192
c lw 17161
c lw 17269
c lw 17507
c lw 18083
c lw 18184
c lw 18329
c lw 19299
c lw 19701
c lw 19870
c lw 20008
c lw 20851
c lw 20871
c lw 21328
c lw 21392
c lw 21507
c lw 22197
c lw 22493
c lw 22612
c lw 22745
c lw 23008
c lw 23127
c lw 23793
c lw 24104
c lw 24315
c lw 24379
c lw 24429
c lw 24901
c lw 25570
c lw 25751
c lw 26222
c lw 26241
c lw 26439
c lw 26577
c lw 26662
c lw 27131
c lw 27183
c lw 27481
c lw 27679
c lw 27764
c lw 27902
c lw 28039
c lw 28051
c lw 28065
c lw 28137
c lw 28147
c lw 28189
c lw 28263
c lw 28420
c lw 28508
c lw 28536
c lw 28583
c lw 28597
c lw 28657
c lw 28669
c lw 28679
c lw 28699
c lw 28746
c lw 28835
c lw 28836
c lw 28864
c lw 28882
c lw 28885
c lw 28908
c lw 28909
c lw 28936
c lw 28948
c lw 29407
c lw 29472
c lw 29491
c lw 29503
c lw 29600
c lw 29610
c lw 29612
c lw 29619
c lw 29759
c lw 29761
c lw 29768
c lw 29778
c lw 30092
c lw 30123
c lw 30165
c lw 30180
c lw 30404
c lw 30709
c lw 30837
c lw 30844
c lw 30941
c lw 31092
c lw 31149
c lw 31234
c lw 31324
c lw 31335
c lw 31421
c lw 31433
c lw 31448
c lw 31449
c lw 31455
c lw 31490
c lw 31503
c lw 31580
c lw 31586
c lw 31587
c lw 31602
c lw 31614
c lw 31623
c lw 31638
c lw 31641
c lw 31652
c lw 31667
c lw 31687
c lw 31748
c lw 31775
c lw 31776
c lw 31803
c lw 31850
c lw 32111
c lw 32146
c lw 32171
c lw 32744
c lw 32800
c lw 32826
c lw 32939
c lw 32963
c lw 32996
c lw 33071
c lw 33108
c lw 33338
c lw 33344
c lw 33493
c lw 33735
c lw 33745
c lw 33959
c lw 33998
c lw 34017
c lw 34096
c lw 34104
c lw 34105
c lw 34122
c lw 34132
c lw 34150
c lw 34151
c lw 34154
c lw 34160
c lw 34168
c lw 34169
c lw 34170
c lw 34184
c lw 34188
c lw 34190
c lw 34795
c lw 34796
c lw 34801
c lw 34969
c lw 35329
c lw 35363
c lw 35380
c lw 35482
c lw 35617
c lw 35659
c lw 35893
c lw 35894
c lw 35960
c lw 35961
c lw 35962
c lw 35971
c lw 35972
c lw 35978
c lw 35980
c lw 35987
c lw 35989
c lw 35995
c lw 36001
c lw 36009
c lw 36017
c lw 36035
c lw 36047
c lw 36055
c lw 36057
c lw 36059
c lw 36065
c lw 36075
c lw 36078
c lw 36081
c lw 36087
c lw 36093
c lw 36095
c lw 36096
c lw 36099
c lw 36102
c lw 36103
c lw 36105
c lw 36108
c lw 36111
c lw 36112
c lw 36114
c lw 36115
c lw 36120
c lw 36125
c lw 36127
c lw 36130
c lw 36134
c lw 36136
c lw 36139
c lw 36142
c lw 36145
c lw 36151
c lw 36634
c lw 36881
c lw 36892
c lw 37037
c lw 37116
c lw 37197
c lw 37198
c lw 37199
c lw 37200
c lw 37204
c lw 37206
c lw 37207
c lw 37209
c lw 37210
c lw 37212
c lw 37213
c lw 37214
c lw 37215
c lw 37216
c lw 37217
c lw 37371
c lw 37534
c lw 37735
c lw 37777
c lw 38052
c lw 38149
c lw 38206
c lw 38227
c lw 38318
c lw 38319
c lw 38320
c lw 38321
c lw 38322
c lw 38323
c lw 38324
c lw 38325
c lw 38326
c lw 38327
c lw 38336
c lw 38337
c lw 38338
c lw 38341
c lw 38364
c lw 38365
c lw 38366
c lw 38367
c lw 38368
c lw 38369
c lw 38382
c lw 38393
c lw 38395
c lw 38397
c lw 38401
c lw 38423
c lw 38425
c lw 38433
c lw 38434
c lw 38435
c lw 38447
c lw 38449
c lw 38467
c lw 38468
c lw 38469
c lw 38470
c lw 38471
c lw 38472
c lw 38473
c lw 38474
c lw 38475
c lw 38476
c lw 38477
c lw 38478
c lw 38483
c lw 38485
c lw 38487
c lw 38489
c lw 38490
c lw 38494
c lw 38495
c lw 38510
c lw 38512
c lw 38513
c lw 38519
c lw 38520
c lw 38521
c lw 38522
c lw 38523
c lw 38524
c lw 38525
c lw 38527
c lw 38528
c lw 38529
c lw 38531
c lw 38532
c lw 38533
c lw 38534
c lw 38535
c lw 38536
c lw 38537
c lw 38649
c lw 38650
c lw 38651
c lw 38652
c lw 38653
c lw 38654
c lw 38655
c lw 38656
c lw 38657
c lw 39465
c lw 39466
c lw 39925
c lw 39962
c lw 40468
c lw 40664
c lw 40679
c lw 40717
c lw 40718
c lw 40734
c lw 40738
c lw 40764
c lw 40821
c lw 40822
c lw 40824
c lw 40832
c lw 40848
c lw 40939
c lw 40940
c lw 40950
c lw 40951
c lw 40952
c lw 40953
c lw 40954
c lw 40955
c lw 40956
c lw 40957
c lw 40958
c lw 40959
c lw 40960
c lw 40961
c lw 40962
c lw 40963
c lw 40964
c lw 40965
c lw 40966
c lw 40967
c lw 40968
c lw 40969
c lw 40970
c lw 40971
c lw 40972
c lw 40973
c lw 40974
c lw 40975
c lw 40976
c lw 40977
c lw 40978
c lw 40979
c lw 40980
c lw 41006
c lw 41007
c lw 41008
c lw 41009
c lw 41042
c lw 41049
c lw 41050
c lw 41051
c lw 41052
c lw 41053
c lw 41054
c lw 41085
c lw 41121
c lw 41227
c lw 41228
c lw 41230
c lw 41232
c lw 41233
c lw 41234
c lw 41235
c lw 41240