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-160-1_network-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 286
c lw 1038
c lw 2748
c lw 3750
c lw 6672
c lw 8058
c lw 9018
c lw 10696
c lw 11117
c lw 12296
c lw 13790
c lw 15124
c lw 15488
c lw 16239
c lw 17570
c lw 17629
c lw 18123
c lw 19174
c lw 20252
c lw 21211
c lw 21864
c lw 22176
c lw 22632
c lw 23518
c lw 24148
c lw 24375
c lw 25386
c lw 26742
c lw 27363
c lw 28048
c lw 28971
c lw 29279
c lw 29749
c lw 29966
c lw 30215
c lw 30457
c lw 30587
c lw 31114
c lw 31578
c lw 31858
c lw 32244
c lw 32528
c lw 32904
c lw 33597
c lw 33651
c lw 33709
c lw 33793
c lw 33925
c lw 34170
c lw 34329
c lw 34828
c lw 35063
c lw 35150
c lw 35751
c lw 35875
c lw 36498
c lw 37728
c lw 37816
c lw 37852
c lw 38197
c lw 38619
c lw 38770
c lw 38771
c lw 39959
c lw 40097
c lw 40542
c lw 40665
c lw 41556
c lw 42428
c lw 42476
c lw 43352
c lw 43388
c lw 43522
c lw 43590
c lw 44419
c lw 44494
c lw 44496
c lw 45741
c lw 45938
c lw 45957
c lw 46242
c lw 46250
c lw 46413
c lw 47566
c lw 47720
c lw 47869
c lw 48211
c lw 48432
c lw 49085
c lw 49131
c lw 49189
c lw 49411
c lw 50104
c lw 50158
c lw 50851
c lw 50875
c lw 50974
c lw 51132
c lw 51477
c lw 52181
c lw 52322
c lw 52541
c lw 52819
c lw 52820
c lw 52869
c lw 53123
c lw 53935
c lw 54070
c lw 54934
c lw 55338
c lw 55341
c lw 55404
c lw 56353
c lw 56940
c lw 57209
c lw 57332
c lw 58448
c lw 58556
c lw 58794
c lw 58974
c lw 59107
c lw 59180
c lw 59182
c lw 59344
c lw 59626
c lw 59668
c lw 59840
c lw 60218
c lw 60313
c lw 60614
c lw 61309
c lw 61396
c lw 61416
c lw 61565
c lw 61749
c lw 62406
c lw 62473
c lw 62595
c lw 62892
c lw 63117
c lw 63174
c lw 63402
c lw 63840
c lw 63850
c lw 64005
c lw 64380
c lw 64690
c lw 64893
c lw 65148
c lw 65291
c lw 65546
c lw 65659
c lw 65672
c lw 65689
c lw 65751
c lw 66244
c lw 67162
c lw 67219
c lw 67656
c lw 68061
c lw 68589
c lw 68825
c lw 68938
c lw 69159
c lw 69504
c lw 69529
c lw 69745
c lw 69937
c lw 70031
c lw 70121
c lw 70341
c lw 70393
c lw 70947
c lw 71257
c lw 71673
c lw 71741
c lw 72160
c lw 72549
c lw 72784
c lw 72803
c lw 73195
c lw 73283
c lw 73345
c lw 73477
c lw 74032
c lw 75293
c lw 76009
c lw 76068
c lw 76212
c lw 76796
c lw 76938
c lw 77521
c lw 77714
c lw 77897
c lw 77997
c lw 78307
c lw 78312
c lw 78359
c lw 78534
c lw 78725
c lw 78754
c lw 78936
c lw 79913
c lw 79920
c lw 80202
c lw 80210
c lw 80347
c lw 80418
c lw 80948
c lw 81514
c lw 81697
c lw 82272
c lw 82399
c lw 82587
c lw 82588
c lw 82721
c lw 82724
c lw 82747
c lw 82757
c lw 82891
c lw 82899
c lw 83802
c lw 84117
c lw 84146
c lw 84378
c lw 84385
c lw 84414
c lw 84496
c lw 85328
c lw 85367
c lw 85527
c lw 85611
c lw 85806
c lw 85881
c lw 86033
c lw 86096
c lw 86636
c lw 86918
c lw 86986
c lw 87200
c lw 87438
c lw 87694
c lw 87697
c lw 87700
c lw 87858
c lw 87964
c lw 88541
c lw 88675
c lw 88713
c lw 89394
c lw 89447
c lw 89585
c lw 90031
c lw 90300
c lw 90598
c lw 90624
c lw 90637
c lw 90692
c lw 90713
c lw 90845
c lw 91044
c lw 91649
c lw 92000
c lw 92148
c lw 92248
c lw 92879
c lw 92952
c lw 93238
c lw 93322
c lw 93582
c lw 93868
c lw 93907
c lw 94121
c lw 94147
c lw 94274
c lw 94895
c lw 95534
c lw 95577
c lw 95631
c lw 95639
c lw 96111
c lw 96477
c lw 96491
c lw 96524
c lw 96565
c lw 96788
c lw 96913
c lw 97093
c lw 97786
c lw 98432
c lw 98569
c lw 99051
c lw 99261
c lw 99672
c lw 99676
c lw 99690
c lw 99716
c lw 99725
c lw 99891
c lw 100302
c lw 100574
c lw 101041
c lw 101099
c lw 102150
c lw 102290
c lw 102462
c lw 102835
c lw 102842
c lw 103072
c lw 103123
c lw 103126
c lw 103129
c lw 103359
c lw 103480
c lw 103532
c lw 103949
c lw 103950
c lw 103982
c lw 104405
c lw 104609
c lw 104636
c lw 104701
c lw 104782
c lw 104818
c lw 104847
c lw 106444
c lw 106574
c lw 106880
c lw 106883
c lw 107010
c lw 107017
c lw 107020
c lw 107030
c lw 107036
c lw 107039
c lw 107040
c lw 107043
c lw 107046
c lw 107050
c lw 107065
c lw 107091
c lw 107098
c lw 107102
c lw 107112
c lw 107117
c lw 107120
c lw 107147
c lw 107165
c lw 107185
c lw 107221
c lw 107508
c lw 108007
c lw 108477
c lw 108478
c lw 108479
c lw 108484
c lw 108485
c lw 108486
c lw 108487
c lw 108489
c lw 108490
c lw 108491
c lw 108492
c lw 108496
c lw 108497
c lw 108498
c lw 108499
c lw 108500
c lw 108505
c lw 108506
c lw 108509
c lw 108510
c lw 108512
c lw 108513
c lw 108515
c lw 108516
c lw 108529
c lw 108536
c lw 108702
c lw 108706
c lw 108749
c lw 108765
c lw 108853
c lw 109335
c lw 109746
c lw 110363
c lw 110709
c lw 110734
c lw 111178
c lw 111221
c lw 111323
c lw 111633
c lw 112779
c lw 112852
c lw 112936
c lw 112982
c lw 113708
c lw 113795
c lw 114111
c lw 114429
c lw 114430
c lw 114442
c lw 115464
c lw 115605
c lw 116189
c lw 116221
c lw 116599
c lw 117367
c lw 118008
c lw 118132
c lw 118256
c lw 118413
c lw 118438
c lw 119198
c lw 119339
c lw 119463
c lw 119668
c lw 119733
c lw 119865
c lw 120006
c lw 120722
c lw 120743
c lw 121325
c lw 121725
c lw 122445
c lw 122932
c lw 122996
c lw 123716
c lw 123916
c lw 124488
c lw 124862
c lw 124869
c lw 126158
c lw 126228
c lw 126296
c lw 126333
c lw 126340
c lw 126347
c lw 126348
c lw 126349
c lw 126350
c lw 126351
c lw 126354
c lw 126355
c lw 126356
c lw 126357
c lw 126358
c lw 126359
c lw 126360
c lw 126361
c lw 126362
c lw 126363
c lw 126364
c lw 126365
c lw 126367
c lw 126368
c lw 126369
c lw 126370
c lw 126371
c lw 126372
c lw 126374
c lw 126375
c lw 126376
c lw 126384
c lw 126385
c lw 126386
c lw 126388
c lw 126389
c lw 126390
c lw 126391
c lw 126392
c lw 126394
c lw 126395
c lw 126398
c lw 126399
c lw 126400
c lw 126401
c lw 126402
c lw 126403
c lw 126404
c lw 126405
c lw 126406
c lw 126407
c lw 126408
c lw 126409
c lw 126410
c lw 126411
c lw 126412
c lw 126413
c lw 126414
c lw 126415
c lw 126416
c lw 126417
c lw 126418
c lw 126419
c lw 126420
c lw 126421
c lw 126422
c lw 126423
c lw 126424
c lw 126425
c lw 126426
c lw 126427
c lw 126428
c lw 126429
c lw 126495
c lw 126605
c lw 126736
c lw 127035
c lw 127064
c lw 127461
c lw 127760
c lw 128151
c lw 128282
c lw 128392
c lw 129328
c lw 129436
c lw 129534
c lw 129640
c lw 129916
c lw 130132
c lw 130582
c lw 130664
c lw 130906
c lw 130910
c lw 131244
c lw 131312
c lw 131921
c lw 132745
c lw 132746
c lw 133265
c lw 133309
c lw 133861
c lw 133875
c lw 133901
c lw 134175
c lw 134729
c lw 134935
c lw 134944
c lw 135212
c lw 135894
c lw 136132
c lw 137212
c lw 137242
c lw 137523
c lw 137707
c lw 137737
c lw 137834
c lw 138165
c lw 138201
c lw 138386
c lw 138521
c lw 138593
c lw 138860
c lw 138867
c lw 139827
c lw 140130
c lw 140282
c lw 141631
c lw 141667
c lw 142383
c lw 142427
c lw 142512
c lw 142538
c lw 142606
c lw 142962
c lw 143048
c lw 143185
c lw 143253
c lw 144273
c lw 144317
c lw 144609
c lw 145202
c lw 145787
c lw 146033
c lw 146529
c lw 147069
c lw 147246
c lw 147661
c lw 147675
c lw 147838
c lw 147965
c lw 148120
c lw 148423
c lw 148726
c lw 148820
c lw 148885
c lw 148959
c lw 148960
c lw 148961
c lw 148962
c lw 148963
c lw 148964
c lw 148965
c lw 148966
c lw 148967
c lw 148968
c lw 148969
c lw 148970
c lw 148971
c lw 148972
c lw 148973
c lw 148974
c lw 148975