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-100-1_network-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 744
c lw 1140
c lw 2095
c lw 3166
c lw 4339
c lw 4915
c lw 5156
c lw 5992
c lw 6043
c lw 7436
c lw 7566
c lw 7782
c lw 8575
c lw 8831
c lw 10527
c lw 11870
c lw 12731
c lw 12996
c lw 13479
c lw 14379
c lw 14598
c lw 14983
c lw 15120
c lw 15170
c lw 15738
c lw 16798
c lw 17404
c lw 17534
c lw 18140
c lw 18429
c lw 19163
c lw 19298
c lw 20278
c lw 20536
c lw 20644
c lw 21351
c lw 22183
c lw 22478
c lw 22742
c lw 22903
c lw 23240
c lw 23710
c lw 23896
c lw 23934
c lw 24222
c lw 24719
c lw 25431
c lw 25487
c lw 26110
c lw 26421
c lw 26816
c lw 27158
c lw 27348
c lw 28263
c lw 28675
c lw 29243
c lw 29380
c lw 29618
c lw 29624
c lw 30045
c lw 30784
c lw 31212
c lw 31636
c lw 32051
c lw 32442
c lw 32572
c lw 32858
c lw 32877
c lw 32961
c lw 33026
c lw 33333
c lw 33492
c lw 33760
c lw 33772
c lw 34219
c lw 34487
c lw 34745
c lw 34873
c lw 35042
c lw 35985
c lw 36048
c lw 36121
c lw 36614
c lw 36824
c lw 37011
c lw 37481
c lw 37667
c lw 37705
c lw 38328
c lw 38533
c lw 38885
c lw 38992
c lw 39119
c lw 39265
c lw 39778
c lw 39783
c lw 39879
c lw 40292
c lw 40559
c lw 40905
c lw 40954
c lw 41006
c lw 41744
c lw 42062
c lw 42458
c lw 42570
c lw 42662
c lw 42953
c lw 43019
c lw 43618
c lw 44177
c lw 44256
c lw 44557
c lw 44564
c lw 44644
c lw 44988
c lw 45123
c lw 45358
c lw 45508
c lw 45626
c lw 45887
c lw 46429
c lw 46618
c lw 46965
c lw 47970
c lw 48055
c lw 48085
c lw 48129
c lw 48174
c lw 48251
c lw 48470
c lw 49049
c lw 49453
c lw 50133
c lw 50186
c lw 51311
c lw 51383
c lw 51540
c lw 51632
c lw 51728
c lw 51731
c lw 51751
c lw 52708
c lw 52723
c lw 53018
c lw 53318
c lw 53483
c lw 53652
c lw 53749
c lw 53805
c lw 54049
c lw 54163
c lw 54169
c lw 54337
c lw 54355
c lw 54371
c lw 54512
c lw 54541
c lw 54595
c lw 54899
c lw 55092
c lw 55579
c lw 56069
c lw 56180
c lw 56335
c lw 56419
c lw 56480
c lw 57520
c lw 57648
c lw 57775
c lw 57899
c lw 58035
c lw 58267
c lw 58538
c lw 58955
c lw 58998
c lw 59170
c lw 59203
c lw 59327
c lw 59911
c lw 60152
c lw 60393
c lw 60530
c lw 60589
c lw 60765
c lw 60830
c lw 61057
c lw 62503
c lw 62624
c lw 62733
c lw 62862
c lw 62880
c lw 63080
c lw 63330
c lw 63550
c lw 63613
c lw 63673
c lw 64280
c lw 64498
c lw 65040
c lw 65090
c lw 65113
c lw 65118
c lw 65204
c lw 65506
c lw 65584
c lw 65626
c lw 65656
c lw 66158
c lw 66297
c lw 66338
c lw 66357
c lw 66472
c lw 66619
c lw 67230
c lw 67504
c lw 67601
c lw 67885
c lw 68020
c lw 68025
c lw 68028
c lw 68055
c lw 68472
c lw 68506
c lw 68522
c lw 68526
c lw 68532
c lw 68629
c lw 68748
c lw 69797
c lw 70083
c lw 70099
c lw 70223
c lw 70671
c lw 70690
c lw 70747
c lw 70786
c lw 70787
c lw 70814
c lw 70840
c lw 70843
c lw 70848
c lw 70856
c lw 70860
c lw 70877
c lw 70882
c lw 70886
c lw 70894
c lw 70898
c lw 70906
c lw 70911
c lw 70914
c lw 70929
c lw 71066
c lw 71523
c lw 71772
c lw 71917
c lw 71926
c lw 71964
c lw 72474
c lw 72475
c lw 72479
c lw 72483
c lw 72485
c lw 72487
c lw 72506
c lw 72822
c lw 72915
c lw 72931
c lw 72953
c lw 73247
c lw 73269
c lw 73352
c lw 73640
c lw 73690
c lw 73967
c lw 74134
c lw 74361
c lw 74363
c lw 74364
c lw 74366
c lw 74400
c lw 74401
c lw 74402
c lw 74410
c lw 74414
c lw 74415
c lw 74416
c lw 74419
c lw 74422
c lw 74425
c lw 74427
c lw 74429
c lw 74573
c lw 74664
c lw 74682
c lw 74690
c lw 74706
c lw 74727
c lw 74749
c lw 74794
c lw 74832
c lw 74838
c lw 74903
c lw 74919
c lw 74922
c lw 75047
c lw 75156
c lw 75390
c lw 76036
c lw 76344
c lw 76627
c lw 76747
c lw 76846
c lw 77044
c lw 77410
c lw 77474
c lw 77525
c lw 78319
c lw 78392
c lw 78393
c lw 78395
c lw 78398
c lw 78441
c lw 78823
c lw 78958
c lw 79135
c lw 79734
c lw 79735
c lw 79751
c lw 79757
c lw 79765
c lw 80362
c lw 80534
c lw 80537
c lw 80538
c lw 80540
c lw 80541
c lw 80542
c lw 80543
c lw 80544
c lw 80545
c lw 80546
c lw 80574
c lw 80612
c lw 80619
c lw 80635
c lw 80641
c lw 80647
c lw 80656
c lw 80664
c lw 80682
c lw 80791
c lw 80792
c lw 80795
c lw 80797
c lw 80803
c lw 80805
c lw 80807
c lw 80808
c lw 80816
c lw 80817
c lw 80818
c lw 80823
c lw 80824
c lw 80825
c lw 80826
c lw 80828
c lw 80829
c lw 80830
c lw 80838
c lw 80844
c lw 80845
c lw 80853
c lw 80855
c lw 80859
c lw 80863
c lw 80869
c lw 80870
c lw 80874
c lw 80890
c lw 80891
c lw 80893
c lw 80894
c lw 80895
c lw 80897
c lw 80899
c lw 80900
c lw 80901
c lw 80902
c lw 80903
c lw 80904
c lw 80905
c lw 81262
c lw 82072
c lw 82346
c lw 82420
c lw 82421
c lw 83134
c lw 83281
c lw 83369
c lw 83785
c lw 83944
c lw 84154
c lw 84532
c lw 84608
c lw 84816
c lw 84921
c lw 84969
c lw 85024
c lw 85297
c lw 85305
c lw 85327
c lw 85414
c lw 85432
c lw 85441
c lw 85447
c lw 85453
c lw 85467
c lw 85468
c lw 85469
c lw 85470
c lw 85471
c lw 85472
c lw 85473
c lw 85474
c lw 85475
c lw 85476
c lw 85477