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-80-1_network-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 588
c lw 1753
c lw 2841
c lw 4528
c lw 5609
c lw 6981
c lw 7934
c lw 9184
c lw 10147
c lw 11218
c lw 11799
c lw 11932
c lw 12158
c lw 12330
c lw 12607
c lw 12684
c lw 12875
c lw 13736
c lw 13785
c lw 13883
c lw 14100
c lw 14144
c lw 14603
c lw 14637
c lw 15165
c lw 15655
c lw 15746
c lw 15986
c lw 16013
c lw 17367
c lw 17394
c lw 17515
c lw 17766
c lw 17874
c lw 18439
c lw 19055
c lw 19138
c lw 19515
c lw 19549
c lw 20077
c lw 20151
c lw 20259
c lw 20271
c lw 20353
c lw 20368
c lw 20412
c lw 20445
c lw 20470
c lw 20836
c lw 20895
c lw 21232
c lw 21428
c lw 22072
c lw 22084
c lw 22121
c lw 22834
c lw 22987
c lw 23092
c lw 23143
c lw 23670
c lw 23793
c lw 23980
c lw 24048
c lw 24511
c lw 24872
c lw 25505
c lw 25546
c lw 25737
c lw 26104
c lw 26162
c lw 26200
c lw 27220
c lw 27545
c lw 28029
c lw 28195
c lw 28355
c lw 28372
c lw 29622
c lw 29628
c lw 29657
c lw 29731
c lw 30664
c lw 30999
c lw 31558
c lw 31571
c lw 31707
c lw 31994
c lw 32030
c lw 32122
c lw 32229
c lw 32351
c lw 32918
c lw 33320
c lw 33324
c lw 33390
c lw 33460
c lw 33627
c lw 33747
c lw 33760
c lw 33907
c lw 34889
c lw 35034
c lw 35135
c lw 35529
c lw 35613
c lw 35733
c lw 35916
c lw 36015
c lw 36032
c lw 36173
c lw 36192
c lw 36292
c lw 36476
c lw 37019
c lw 37145
c lw 37237
c lw 37444
c lw 37855
c lw 38015
c lw 38460
c lw 38567
c lw 38611
c lw 38659
c lw 38692
c lw 38718
c lw 38762
c lw 38791
c lw 38798
c lw 38801
c lw 38803
c lw 39185
c lw 39301
c lw 39304
c lw 39306
c lw 39308
c lw 39310
c lw 39315
c lw 39330
c lw 39332
c lw 40765
c lw 41014
c lw 41054
c lw 41244
c lw 41364
c lw 42251
c lw 42538
c lw 42789
c lw 42947
c lw 42999
c lw 43007
c lw 43029
c lw 43051
c lw 43055
c lw 43063
c lw 43088
c lw 43118
c lw 43122
c lw 43137
c lw 43142
c lw 43144
c lw 43146
c lw 43148
c lw 43151
c lw 43153
c lw 43156
c lw 43163
c lw 43192
c lw 43229
c lw 43255
c lw 43278
c lw 44400
c lw 44433
c lw 44482
c lw 44558
c lw 45090
c lw 45095
c lw 45236
c lw 45520
c lw 45947
c lw 46073
c lw 46172
c lw 46230
c lw 46460
c lw 46588
c lw 47329
c lw 47480
c lw 47731
c lw 48092
c lw 48235
c lw 48680
c lw 48682
c lw 48683
c lw 48684
c lw 48693
c lw 48695
c lw 48700
c lw 48702
c lw 48704
c lw 48706
c lw 48709
c lw 48712
c lw 48719
c lw 48726
c lw 48732
c lw 48734
c lw 48736
c lw 48745
c lw 48752
c lw 48754
c lw 48756
c lw 48758
c lw 48759
c lw 48762
c lw 48767
c lw 48772
c lw 48779
c lw 48844
c lw 48858
c lw 48880
c lw 48892
c lw 48937
c lw 49933
c lw 50047
c lw 50668
c lw 50677
c lw 51001
c lw 51850
c lw 51977
c lw 52364
c lw 52651
c lw 52712
c lw 52895
c lw 53046
c lw 54004
c lw 54035
c lw 54148
c lw 54172
c lw 54223
c lw 54233
c lw 54254
c lw 54277
c lw 54325
c lw 54329
c lw 54341
c lw 54346
c lw 54368
c lw 54390
c lw 54392
c lw 54394
c lw 54411
c lw 54413
c lw 54418
c lw 54420
c lw 54443
c lw 54491
c lw 54495
c lw 54500
c lw 54522
c lw 54544
c lw 54546
c lw 54548
c lw 54565
c lw 54651
c lw 54756
c lw 55893
c lw 55996
c lw 56004
c lw 56761
c lw 57675
c lw 57677
c lw 57704
c lw 57726
c lw 58033
c lw 58055
c lw 58156
c lw 58489
c lw 58511
c lw 58596
c lw 58828
c lw 58982
c lw 59017
c lw 59335
c lw 59838
c lw 60277
c lw 60528
c lw 61001
c lw 61017
c lw 61074
c lw 61120
c lw 61160
c lw 61544
c lw 61567
c lw 62803
c lw 63082
c lw 63494
c lw 63510
c lw 63578
c lw 63762
c lw 63868
c lw 63884
c lw 64274
c lw 64940
c lw 65317
c lw 65333
c lw 65347
c lw 65675
c lw 65961
c lw 66014
c lw 66291
c lw 66305
c lw 67133
c lw 67147
c lw 67310
c lw 67463
c lw 67589
c lw 68096
c lw 68502
c lw 68762
c lw 68992
c lw 69651
c lw 69660
c lw 69687
c lw 70031
c lw 70036
c lw 70705
c lw 70706
c lw 70707
c lw 70708
c lw 70709
c lw 70710
c lw 70711
c lw 70712
c lw 70713
c lw 70714
c lw 70715
c lw 70716
c lw 70717
c lw 70718