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-140-1_network-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 19
c lw 1708
c lw 1715
c lw 3222
c lw 4674
c lw 7274
c lw 9628
c lw 11009
c lw 12137
c lw 13051
c lw 14187
c lw 15007
c lw 15432
c lw 16869
c lw 18127
c lw 18928
c lw 19073
c lw 20504
c lw 20956
c lw 21519
c lw 22156
c lw 22869
c lw 23157
c lw 23261
c lw 23771
c lw 24055
c lw 24073
c lw 24219
c lw 24472
c lw 24777
c lw 24806
c lw 25190
c lw 26085
c lw 26343
c lw 26842
c lw 27034
c lw 27238
c lw 27726
c lw 27809
c lw 27813
c lw 28467
c lw 28699
c lw 29472
c lw 29730
c lw 30110
c lw 30277
c lw 30289
c lw 30589
c lw 30976
c lw 31176
c lw 31433
c lw 31640
c lw 33006
c lw 33400
c lw 33586
c lw 34454
c lw 34479
c lw 35031
c lw 35520
c lw 35739
c lw 36320
c lw 36359
c lw 37188
c lw 37413
c lw 37676
c lw 38349
c lw 38653
c lw 38749
c lw 38928
c lw 39111
c lw 39209
c lw 39840
c lw 40061
c lw 40154
c lw 40306
c lw 40319
c lw 41268
c lw 41367
c lw 41677
c lw 41700
c lw 41734
c lw 42116
c lw 42132
c lw 42135
c lw 42139
c lw 42439
c lw 42646
c lw 43040
c lw 43908
c lw 43977
c lw 44299
c lw 44908
c lw 45004
c lw 45031
c lw 45127
c lw 45262
c lw 45603
c lw 45693
c lw 45952
c lw 46293
c lw 46302
c lw 46488
c lw 46718
c lw 46904
c lw 46992
c lw 47777
c lw 47887
c lw 48268
c lw 48374
c lw 48724
c lw 48782
c lw 49211
c lw 49625
c lw 49736
c lw 49780
c lw 49936
c lw 50285
c lw 50425
c lw 50966
c lw 51263
c lw 51315
c lw 51318
c lw 51622
c lw 51691
c lw 52096
c lw 52234
c lw 52352
c lw 52770
c lw 52882
c lw 52972
c lw 53243
c lw 53511
c lw 53719
c lw 54065
c lw 54353
c lw 54457
c lw 54601
c lw 54682
c lw 54727
c lw 54759
c lw 54767
c lw 54825
c lw 54837
c lw 54868
c lw 55383
c lw 55524
c lw 55810
c lw 56730
c lw 56746
c lw 57182
c lw 57305
c lw 57578
c lw 57600
c lw 58160
c lw 58561
c lw 58886
c lw 58972
c lw 59062
c lw 59093
c lw 59104
c lw 59598
c lw 59672
c lw 59710
c lw 60052
c lw 60566
c lw 60959
c lw 60964
c lw 61020
c lw 61384
c lw 61614
c lw 61828
c lw 62070
c lw 62661
c lw 62861
c lw 63065
c lw 63376
c lw 63525
c lw 63622
c lw 64190
c lw 64462
c lw 64877
c lw 65241
c lw 65442
c lw 65530
c lw 65630
c lw 65652
c lw 66038
c lw 67039
c lw 67040
c lw 67049
c lw 67715
c lw 67720
c lw 67815
c lw 67951
c lw 67973
c lw 68720
c lw 68772
c lw 69564
c lw 69743
c lw 69866
c lw 69891
c lw 70095
c lw 70608
c lw 70767
c lw 71058
c lw 71152
c lw 71155
c lw 71302
c lw 72188
c lw 73004
c lw 73044
c lw 73057
c lw 73169
c lw 73201
c lw 73681
c lw 73723
c lw 74402
c lw 74434
c lw 74620
c lw 74803
c lw 74806
c lw 74998
c lw 75242
c lw 75440
c lw 75545
c lw 75686
c lw 76334
c lw 76355
c lw 76403
c lw 76865
c lw 77363
c lw 77410
c lw 78812
c lw 78973
c lw 79351
c lw 79399
c lw 80043
c lw 80219
c lw 80626
c lw 80654
c lw 80725
c lw 80978
c lw 81012
c lw 81090
c lw 81184
c lw 81267
c lw 81333
c lw 81755
c lw 81766
c lw 81822
c lw 81977
c lw 82073
c lw 82089
c lw 82354
c lw 82397
c lw 82538
c lw 82724
c lw 83241
c lw 83719
c lw 83798
c lw 84677
c lw 85238
c lw 85304
c lw 85507
c lw 85819
c lw 86301
c lw 86781
c lw 86822
c lw 87254
c lw 87281
c lw 87776
c lw 87844
c lw 88025
c lw 88034
c lw 88041
c lw 88427
c lw 88517
c lw 88552
c lw 88652
c lw 88812
c lw 88879
c lw 88952
c lw 88955
c lw 88960
c lw 89126
c lw 89211
c lw 89475
c lw 89761
c lw 89812
c lw 90953
c lw 91010
c lw 91063
c lw 91316
c lw 91370
c lw 91373
c lw 91426
c lw 91501
c lw 92494
c lw 92505
c lw 92559
c lw 92616
c lw 92693
c lw 93490
c lw 93557
c lw 93884
c lw 93892
c lw 93904
c lw 93916
c lw 93929
c lw 94016
c lw 94601
c lw 94617
c lw 94624
c lw 94629
c lw 94751
c lw 94760
c lw 94941
c lw 95488
c lw 95569
c lw 95970
c lw 96104
c lw 96496
c lw 96715
c lw 96843
c lw 97631
c lw 97670
c lw 97693
c lw 98218
c lw 98240
c lw 98393
c lw 98621
c lw 98678
c lw 98702
c lw 99970
c lw 100056
c lw 100180
c lw 100280
c lw 100374
c lw 101397
c lw 101593
c lw 102267
c lw 102276
c lw 102312
c lw 102319
c lw 102323
c lw 102331
c lw 102575
c lw 102627
c lw 102679
c lw 102746
c lw 102852
c lw 103314
c lw 103317
c lw 103325
c lw 103330
c lw 103331
c lw 103332
c lw 103333
c lw 103453
c lw 103517
c lw 103602
c lw 103641
c lw 103756
c lw 104029
c lw 104032
c lw 104036
c lw 104274
c lw 104297
c lw 104336
c lw 104364
c lw 104393
c lw 104500
c lw 104501
c lw 104505
c lw 104678
c lw 105214
c lw 105263
c lw 105512
c lw 105705
c lw 106157
c lw 106181
c lw 106608
c lw 107055
c lw 107171
c lw 107616
c lw 107718
c lw 107781
c lw 107846
c lw 107927
c lw 108393
c lw 108565
c lw 108571
c lw 108588
c lw 108632
c lw 108884
c lw 108897
c lw 108973
c lw 108975
c lw 108976
c lw 108978
c lw 108979
c lw 108980
c lw 108984
c lw 108996
c lw 109012
c lw 109040
c lw 109043
c lw 109051
c lw 109056
c lw 109078
c lw 109081
c lw 109096
c lw 109097
c lw 109098
c lw 109101
c lw 109217
c lw 109304
c lw 109806
c lw 109922
c lw 110421
c lw 110454
c lw 110605
c lw 111113
c lw 111137
c lw 112090
c lw 112153
c lw 112274
c lw 112696
c lw 113443
c lw 113462
c lw 113518
c lw 113568
c lw 114044
c lw 114156
c lw 114342
c lw 114757
c lw 114979
c lw 115235
c lw 115440
c lw 115552
c lw 115736
c lw 115879
c lw 115895
c lw 116794
c lw 116880
c lw 117626
c lw 118005
c lw 118111
c lw 118123
c lw 118506
c lw 118538
c lw 119715
c lw 120483
c lw 120760
c lw 120793
c lw 120978
c lw 121002
c lw 121005
c lw 122019
c lw 122985
c lw 123053
c lw 123087
c lw 123111
c lw 123113
c lw 123296
c lw 123392
c lw 123689
c lw 123703
c lw 123757
c lw 124786
c lw 124990
c lw 125327
c lw 125350
c lw 125376
c lw 126101
c lw 127256
c lw 127305
c lw 127326
c lw 128300
c lw 128409
c lw 128510
c lw 128613
c lw 129035
c lw 129100
c lw 129308
c lw 129376
c lw 129461
c lw 129590
c lw 129711
c lw 129760
c lw 129781
c lw 129786
c lw 129788
c lw 129823
c lw 130050
c lw 130121
c lw 130133
c lw 130142
c lw 130149
c lw 130151
c lw 130170
c lw 130172
c lw 130175
c lw 130186
c lw 130203
c lw 130207
c lw 130208
c lw 130210
c lw 130213
c lw 130217
c lw 130219
c lw 130220
c lw 130222
c lw 130224
c lw 130226
c lw 130237
c lw 130244
c lw 130329
c lw 130347
c lw 130348
c lw 130355
c lw 130368
c lw 130377
c lw 130379
c lw 130392
c lw 130399
c lw 130872
c lw 130884
c lw 130885
c lw 130886
c lw 130887
c lw 130889
c lw 130890
c lw 130892
c lw 130896
c lw 130901
c lw 130905
c lw 130907
c lw 130934
c lw 130943
c lw 130951
c lw 130953
c lw 130955
c lw 130956
c lw 130957
c lw 130958
c lw 130959
c lw 130961
c lw 130962
c lw 130963
c lw 130965
c lw 130966
c lw 130967
c lw 131014
c lw 131016
c lw 131017
c lw 131020
c lw 131261
c lw 131289
c lw 131290
c lw 131291
c lw 131292
c lw 131293
c lw 131294
c lw 131295
c lw 131296
c lw 131297
c lw 131298
c lw 131299
c lw 131300
c lw 131301
c lw 131302
c lw 131303
c lw 131304
c lw 131305
c lw 131306
c lw 131308
c lw 131309
c lw 131310
c lw 131311
c lw 131315
c lw 131317
c lw 131318
c lw 131319
c lw 131321
c lw 131323
c lw 131324
c lw 131325
c lw 131326
c lw 131327
c lw 131328
c lw 131329
c lw 131330
c lw 131331
c lw 131332
c lw 131333
c lw 131334
c lw 131335
c lw 131336
c lw 131337
c lw 131338
c lw 131339
c lw 131341
c lw 131342
c lw 131343
c lw 131344
c lw 131345
c lw 131346
c lw 131347
c lw 131348
c lw 131349
c lw 131350
c lw 131351
c lw 131352
c lw 131353
c lw 131354
c lw 131355
c lw 131356
c lw 131357
c lw 131358
c lw 131359
c lw 131360
c lw 131362
c lw 131363
c lw 131364
c lw 131367
c lw 131372
c lw 132518
c lw 132539
c lw 132631
c lw 132819
c lw 132820
c lw 132821
c lw 132825
c lw 132826
c lw 132827
c lw 132828
c lw 132829
c lw 132830
c lw 132831
c lw 132832
c lw 132833
c lw 132834
c lw 132835
c lw 132836
c lw 132837
c lw 132838
c lw 132839
c lw 132840
c lw 132841
c lw 132842
c lw 132843
c lw 132844
c lw 132845
c lw 132846
c lw 132847
c lw 132848
c lw 132849
c lw 132850
c lw 132851
c lw 132852
c lw 132853
c lw 132854
c lw 132855
c lw 132856
c lw 132857
c lw 132858
c lw 132859
c lw 132860
c lw 132861
c lw 132862
c lw 132863
c lw 132864