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-20-2_network-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 907
c lw 1976
c lw 2205
c lw 2234
c lw 2401
c lw 2786
c lw 3202
c lw 3231
c lw 3470
c lw 3703
c lw 3803
c lw 4025
c lw 4068
c lw 4134
c lw 4451
c lw 4457
c lw 4475
c lw 5184
c lw 5550
c lw 5633
c lw 5635
c lw 5767
c lw 6110
c lw 6779
c lw 6864
c lw 7108
c lw 7214
c lw 7588
c lw 7623
c lw 7982
c lw 8196
c lw 8205
c lw 8231
c lw 8319
c lw 8345
c lw 8346
c lw 8397
c lw 8423
c lw 8504
c lw 8517
c lw 8736
c lw 8857
c lw 8931
c lw 8946
c lw 9031
c lw 9046
c lw 9182
c lw 9499
c lw 10379
c lw 10677
c lw 11098
c lw 11146
c lw 11303
c lw 11402
c lw 11406
c lw 11417
c lw 11439
c lw 11448
c lw 11459
c lw 11496
c lw 11575
c lw 11588
c lw 11590
c lw 11704
c lw 11874
c lw 12030
c lw 12082
c lw 12132
c lw 12337
c lw 12433
c lw 12452
c lw 12488
c lw 12517
c lw 12542
c lw 12609
c lw 12870
c lw 12961
c lw 12979
c lw 13326
c lw 13351
c lw 13372
c lw 13401
c lw 13430
c lw 13443
c lw 13468
c lw 13480
c lw 13697
c lw 13927
c lw 14043
c lw 14046
c lw 14115
c lw 14137
c lw 14184
c lw 14299
c lw 14324
c lw 14345
c lw 14348
c lw 14905
c lw 14919
c lw 14997
c lw 15001
c lw 15009
c lw 15047
c lw 15050
c lw 15271
c lw 15547
c lw 16101
c lw 16154
c lw 16166
c lw 16171
c lw 16188
c lw 16191
c lw 16201
c lw 16212
c lw 16223
c lw 16237
c lw 16241
c lw 16254
c lw 17366
c lw 17401
c lw 17405
c lw 17414
c lw 17415
c lw 17417
c lw 17420
c lw 17426
c lw 17431
c lw 17437
c lw 17438
c lw 17652
c lw 17706
c lw 17710
c lw 17746
c lw 17797
c lw 17869
c lw 18094
c lw 18126
c lw 18148
c lw 18166
c lw 18217
c lw 18224
c lw 18340
c lw 18372
c lw 18394
c lw 18395
c lw 18396
c lw 18397
c lw 18401
c lw 18405
c lw 18406
c lw 18417
c lw 18422
c lw 18423
c lw 18426
c lw 18427
c lw 18428
c lw 18434
c lw 18438
c lw 18440
c lw 18445
c lw 18449
c lw 18453
c lw 18457
c lw 18466
c lw 18469
c lw 18470
c lw 18471
c lw 18474
c lw 18477
c lw 18478
c lw 18480
c lw 18489
c lw 18499
c lw 18509
c lw 18516
c lw 18518
c lw 18529
c lw 18531
c lw 18544
c lw 18558
c lw 18560
c lw 18561
c lw 18563
c lw 18564
c lw 18566
c lw 18567
c lw 18573
c lw 18577
c lw 18579
c lw 18580
c lw 18583
c lw 18586
c lw 18587
c lw 18588
c lw 18591
c lw 18597
c lw 18598
c lw 18599
c lw 18602
c lw 18603
c lw 18604
c lw 18605
c lw 18606
c lw 18607
c lw 18609
c lw 18610
c lw 18611
c lw 18614
c lw 18615
c lw 18617
c lw 18622
c lw 18623
c lw 18624
c lw 18626
c lw 18631
c lw 18632
c lw 18635
c lw 18636
c lw 18637
c lw 18640
c lw 18643
c lw 18644
c lw 18646
c lw 18653
c lw 18654
c lw 18655
c lw 18656
c lw 18658
c lw 18667
c lw 18668
c lw 18669
c lw 18670
c lw 18671
c lw 18672
c lw 18673
c lw 18675
c lw 18676
c lw 18678
c lw 18679
c lw 18680
c lw 18681
c lw 18685
c lw 18688
c lw 18689
c lw 18690
c lw 18691
c lw 18692
c lw 18693
c lw 18694
c lw 18695
c lw 18696
c lw 18697
c lw 18698
c lw 18699
c lw 18700
c lw 18701