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-120-1_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1179
c lw 4923
c lw 6420
c lw 7178
c lw 8138
c lw 9958
c lw 11143
c lw 11846
c lw 12056
c lw 13400
c lw 13705
c lw 14091
c lw 14592
c lw 15379
c lw 15605
c lw 16405
c lw 16987
c lw 17414
c lw 18029
c lw 18361
c lw 18893
c lw 19041
c lw 19176
c lw 19182
c lw 20131
c lw 20805
c lw 21048
c lw 21445
c lw 21999
c lw 22534
c lw 22680
c lw 22929
c lw 23319
c lw 23449
c lw 23954
c lw 24063
c lw 24596
c lw 24733
c lw 24739
c lw 25942
c lw 26003
c lw 26803
c lw 26805
c lw 26810
c lw 27111
c lw 27679
c lw 28093
c lw 28125
c lw 28775
c lw 28838
c lw 28875
c lw 28896
c lw 29048
c lw 29630
c lw 30043
c lw 30473
c lw 30552
c lw 31346
c lw 31359
c lw 31418
c lw 31671
c lw 32092
c lw 33150
c lw 33342
c lw 33503
c lw 33912
c lw 34131
c lw 34165
c lw 34720
c lw 35078
c lw 35315
c lw 35364
c lw 35442
c lw 35778
c lw 35872
c lw 35977
c lw 36057
c lw 37043
c lw 37176
c lw 37245
c lw 37323
c lw 37447
c lw 38138
c lw 38379
c lw 38401
c lw 38947
c lw 39196
c lw 39792
c lw 40014
c lw 40047
c lw 40306
c lw 40341
c lw 40439
c lw 40907
c lw 41056
c lw 41263
c lw 41693
c lw 41835
c lw 41930
c lw 42374
c lw 42549
c lw 43522
c lw 43547
c lw 43602
c lw 43882
c lw 43990
c lw 43991
c lw 44124
c lw 44203
c lw 44524
c lw 44868
c lw 45021
c lw 45033
c lw 45230
c lw 46043
c lw 46475
c lw 46622
c lw 46890
c lw 47124
c lw 47204
c lw 47207
c lw 47271
c lw 47344
c lw 47482
c lw 47548
c lw 47610
c lw 48257
c lw 48341
c lw 48398
c lw 48467
c lw 48700
c lw 48826
c lw 49361
c lw 49829
c lw 49931
c lw 50168
c lw 50185
c lw 50241
c lw 50284
c lw 50538
c lw 50883
c lw 50982
c lw 51234
c lw 51391
c lw 51431
c lw 51488
c lw 51818
c lw 52825
c lw 52829
c lw 53191
c lw 53262
c lw 53425
c lw 53808
c lw 54507
c lw 54983
c lw 55210
c lw 55680
c lw 55883
c lw 55917
c lw 55955
c lw 56031
c lw 56588
c lw 56858
c lw 57277
c lw 57640
c lw 58122
c lw 58637
c lw 58802
c lw 59237
c lw 59258
c lw 59270
c lw 59297
c lw 59412
c lw 59486
c lw 59857
c lw 60006
c lw 60643
c lw 61161
c lw 61341
c lw 61441
c lw 61903
c lw 62268
c lw 62384
c lw 62471
c lw 62549
c lw 62604
c lw 62989
c lw 63427
c lw 63523
c lw 63651
c lw 63711
c lw 63712
c lw 63981
c lw 64074
c lw 64326
c lw 64662
c lw 65038
c lw 65467
c lw 65985
c lw 66356
c lw 66364
c lw 66411
c lw 66433
c lw 67383
c lw 68128
c lw 68664
c lw 68666
c lw 68726
c lw 68939
c lw 69096
c lw 69414
c lw 69491
c lw 69561
c lw 70176
c lw 70494
c lw 70865
c lw 71204
c lw 71242
c lw 71454
c lw 72127
c lw 72270
c lw 72518
c lw 72580
c lw 72649
c lw 72693
c lw 72751
c lw 72788
c lw 72870
c lw 72904
c lw 72977
c lw 73118
c lw 73387
c lw 73448
c lw 73512
c lw 73523
c lw 73717
c lw 74188
c lw 74196
c lw 74540
c lw 75390
c lw 75421
c lw 75992
c lw 76038
c lw 76201
c lw 76349
c lw 76449
c lw 76828
c lw 77572
c lw 77655
c lw 77667
c lw 77688
c lw 77715
c lw 77830
c lw 77856
c lw 78004
c lw 78949
c lw 79160
c lw 79888
c lw 80069
c lw 80127
c lw 80171
c lw 80181
c lw 80258
c lw 80484
c lw 80543
c lw 80742
c lw 81163
c lw 81725
c lw 81929
c lw 81968
c lw 82008
c lw 82179
c lw 82234
c lw 82373
c lw 83397
c lw 83590
c lw 84152
c lw 84203
c lw 84877
c lw 85194
c lw 85244
c lw 85322
c lw 85402
c lw 85422
c lw 85995
c lw 85998
c lw 86748
c lw 87038
c lw 87379
c lw 88014
c lw 88019
c lw 88416
c lw 88593
c lw 89369
c lw 89654
c lw 89886
c lw 89932
c lw 90209
c lw 90568
c lw 91215
c lw 91261
c lw 91369
c lw 91405
c lw 92347
c lw 92715
c lw 92737
c lw 92759
c lw 92781
c lw 92785
c lw 92879
c lw 92880
c lw 92902
c lw 93127
c lw 93186
c lw 93268
c lw 93311
c lw 93333
c lw 93342
c lw 93496
c lw 94058
c lw 94101
c lw 94439
c lw 94615
c lw 95033
c lw 95219
c lw 95594
c lw 96031
c lw 96080
c lw 96081
c lw 96082
c lw 96085
c lw 96091
c lw 96104
c lw 96124
c lw 96149
c lw 96171
c lw 96178
c lw 96184
c lw 96218
c lw 96381
c lw 96414
c lw 96426
c lw 96623
c lw 96862
c lw 96912
c lw 97099
c lw 97201
c lw 97244
c lw 97270
c lw 97300
c lw 97307
c lw 97309
c lw 97312
c lw 97329
c lw 97344
c lw 97515
c lw 98253
c lw 98395
c lw 98399
c lw 98795
c lw 98866
c lw 99739
c lw 99887
c lw 99992
c lw 100719
c lw 100743
c lw 100744
c lw 100745
c lw 100755
c lw 100782
c lw 100783
c lw 100785
c lw 101219
c lw 101364
c lw 101406
c lw 101510
c lw 102027
c lw 102464
c lw 102895
c lw 102896
c lw 103410
c lw 103474
c lw 103566
c lw 103583
c lw 103585
c lw 103594
c lw 103748
c lw 103763
c lw 103841
c lw 104265
c lw 104281
c lw 104387
c lw 104430
c lw 104459
c lw 104475
c lw 104736
c lw 105616
c lw 105823
c lw 105958
c lw 106151
c lw 106160
c lw 106329
c lw 106344
c lw 106347
c lw 106355
c lw 106378
c lw 106388
c lw 106391
c lw 106396
c lw 106398
c lw 106399
c lw 106401
c lw 106402
c lw 106403
c lw 106404
c lw 106405
c lw 106422
c lw 106437
c lw 106469
c lw 106475
c lw 106514
c lw 106614
c lw 106624
c lw 108279
c lw 108324
c lw 108532
c lw 108533
c lw 108534
c lw 108535
c lw 108538
c lw 108540
c lw 108541
c lw 108542
c lw 108547
c lw 108550
c lw 108551
c lw 108552
c lw 108553
c lw 108557
c lw 108560
c lw 108579
c lw 108601
c lw 108603
c lw 108604
c lw 108607
c lw 108609
c lw 108618
c lw 108620
c lw 108621
c lw 108623
c lw 108633
c lw 108637
c lw 108641
c lw 108649
c lw 108650
c lw 108651
c lw 108652
c lw 108653
c lw 108654
c lw 108655
c lw 108656
c lw 108657
c lw 108658
c lw 108660
c lw 108662
c lw 108663
c lw 108664
c lw 108665
c lw 108666
c lw 108667
c lw 108668
c lw 108669
c lw 108670
c lw 108671
c lw 108672
c lw 108673
c lw 108674
c lw 108675
c lw 108677
c lw 108678
c lw 108679
c lw 108680
c lw 108681
c lw 108682
c lw 108683
c lw 108684
c lw 108685
c lw 108686
c lw 108753
c lw 109481
c lw 109742
c lw 109757
c lw 109758
c lw 109759
c lw 109760
c lw 109761
c lw 109762
c lw 109773
c lw 109779
c lw 109792
c lw 109794
c lw 109800
c lw 109805
c lw 109830
c lw 109833
c lw 109838
c lw 109840
c lw 109841
c lw 109842
c lw 109843
c lw 109845
c lw 109846
c lw 109847
c lw 109848
c lw 109849
c lw 109850
c lw 109851
c lw 109852
c lw 109853
c lw 109854
c lw 109855
c lw 109856
c lw 109857
c lw 109858
c lw 109864
c lw 109865