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-30-2_network-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1524
c lw 1745
c lw 2481
c lw 3536
c lw 4651
c lw 5762
c lw 6267
c lw 6303
c lw 6359
c lw 6919
c lw 7226
c lw 7286
c lw 7890
c lw 8137
c lw 9042
c lw 9517
c lw 9524
c lw 9583
c lw 9584
c lw 9831
c lw 9875
c lw 10190
c lw 10240
c lw 10455
c lw 10601
c lw 10709
c lw 10805
c lw 10840
c lw 11057
c lw 11109
c lw 11141
c lw 11633
c lw 11950
c lw 12331
c lw 12582
c lw 12648
c lw 12686
c lw 12874
c lw 12908
c lw 12954
c lw 12970
c lw 13008
c lw 13029
c lw 13030
c lw 13054
c lw 13062
c lw 13078
c lw 13094
c lw 13095
c lw 13120
c lw 13137
c lw 13495
c lw 13512
c lw 13537
c lw 13538
c lw 13554
c lw 13561
c lw 13570
c lw 13578
c lw 13602
c lw 13603
c lw 13624
c lw 13630
c lw 13644
c lw 13678
c lw 13746
c lw 13866
c lw 13904
c lw 13910
c lw 13918
c lw 13925
c lw 13952
c lw 13984
c lw 14022
c lw 14072
c lw 14088
c lw 14118
c lw 14184
c lw 14489
c lw 14562
c lw 14693
c lw 14778
c lw 15678
c lw 15734
c lw 15856
c lw 16006
c lw 16050
c lw 16446
c lw 16450
c lw 16477
c lw 16483
c lw 16487
c lw 16490
c lw 16502
c lw 16531
c lw 16535
c lw 16555
c lw 16569
c lw 16575
c lw 16577
c lw 16581
c lw 16584
c lw 16597
c lw 16601
c lw 16611
c lw 16633
c lw 16671
c lw 16703
c lw 16706
c lw 16710
c lw 16796
c lw 16825
c lw 16860
c lw 16921
c lw 16937
c lw 17621
c lw 17964
c lw 18060
c lw 18087
c lw 18371
c lw 18375
c lw 18417
c lw 18447
c lw 18455
c lw 18458
c lw 18459
c lw 18461
c lw 18462
c lw 18464
c lw 18465
c lw 18468
c lw 18469
c lw 18524
c lw 18605
c lw 18614
c lw 18656
c lw 18855
c lw 18911
c lw 18917
c lw 18923
c lw 18924
c lw 18926
c lw 18930
c lw 18938
c lw 18944
c lw 18948
c lw 18954
c lw 18963
c lw 18967
c lw 18970
c lw 18971
c lw 18974
c lw 18977
c lw 18979
c lw 18980
c lw 18981
c lw 18983
c lw 18987
c lw 18988
c lw 18989
c lw 18990
c lw 18996
c lw 19001
c lw 19002
c lw 19003
c lw 19004
c lw 19005
c lw 19006
c lw 19007
c lw 19008
c lw 19009
c lw 19010
c lw 19011
c lw 19012
c lw 19013
c lw 19014
c lw 19015
c lw 19016
c lw 19017
c lw 19018
c lw 19019
c lw 19020
c lw 19026
c lw 19028
c lw 19053
c lw 19092
c lw 19210
c lw 19239
c lw 19313
c lw 19323
c lw 19410
c lw 19622
c lw 19884
c lw 20044
c lw 20313
c lw 20337
c lw 20341
c lw 20371
c lw 20396
c lw 20464
c lw 20530
c lw 20647
c lw 20671
c lw 20707
c lw 20731
c lw 20797
c lw 20846
c lw 20867
c lw 20870
c lw 20922
c lw 20936
c lw 20960
c lw 20996
c lw 21059
c lw 21136
c lw 21152
c lw 21168
c lw 21187
c lw 21208
c lw 21211
c lw 21219
c lw 21221
c lw 21237
c lw 21282
c lw 21542
c lw 21568
c lw 21581
c lw 22178
c lw 22380
c lw 22381
c lw 22405
c lw 22433
c lw 22441
c lw 22489
c lw 22493
c lw 22504
c lw 22526
c lw 22534
c lw 22587
c lw 22827
c lw 22849
c lw 23014
c lw 23028
c lw 23216
c lw 23293
c lw 23355
c lw 23780
c lw 24409
c lw 24423
c lw 24424
c lw 24425
c lw 24426
c lw 24427
c lw 24428