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-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 308
c lw 1032
c lw 2148
c lw 3105
c lw 4064
c lw 4459
c lw 5965
c lw 6111
c lw 7160
c lw 7979
c lw 9266
c lw 10042
c lw 11018
c lw 12559
c lw 13917
c lw 14497
c lw 15844
c lw 16831
c lw 18389
c lw 19462
c lw 20367
c lw 20522
c lw 20536
c lw 21391
c lw 21464
c lw 21723
c lw 21754
c lw 22291
c lw 22688
c lw 23140
c lw 23245
c lw 23932
c lw 24125
c lw 24448
c lw 24757
c lw 25028
c lw 25493
c lw 26109
c lw 27186
c lw 27461
c lw 28104
c lw 28112
c lw 28276
c lw 28900
c lw 29291
c lw 29503
c lw 29709
c lw 30431
c lw 30705
c lw 31671
c lw 32203
c lw 32645
c lw 32775
c lw 33471
c lw 33845
c lw 33968
c lw 34726
c lw 35644
c lw 35723
c lw 36166
c lw 36670
c lw 36904
c lw 37664
c lw 37727
c lw 37888
c lw 38167
c lw 38171
c lw 38448
c lw 38518
c lw 38970
c lw 40048
c lw 40067
c lw 40675
c lw 40985
c lw 41465
c lw 42350
c lw 42387
c lw 42412
c lw 42505
c lw 42828
c lw 42829
c lw 43194
c lw 43197
c lw 43810
c lw 44158
c lw 44821
c lw 44896
c lw 46066
c lw 46081
c lw 46829
c lw 46908
c lw 47388
c lw 47431
c lw 47850
c lw 48712
c lw 49602
c lw 49770
c lw 49814
c lw 50891
c lw 50922
c lw 50925
c lw 51149
c lw 52445
c lw 52476
c lw 52499
c lw 52633
c lw 52684
c lw 52707
c lw 53087
c lw 53172
c lw 53691
c lw 54298
c lw 54363
c lw 54440
c lw 54732
c lw 54999
c lw 55007
c lw 55530
c lw 56428
c lw 56597
c lw 56981
c lw 57141
c lw 57726
c lw 57926
c lw 57969
c lw 58175
c lw 58263
c lw 58482
c lw 58553
c lw 58581
c lw 58927
c lw 59046
c lw 59141
c lw 59164
c lw 59175
c lw 59279
c lw 59550
c lw 60414
c lw 60474
c lw 60978
c lw 61288
c lw 61311
c lw 61569
c lw 61945
c lw 61951
c lw 62005
c lw 62024
c lw 62100
c lw 62291
c lw 62327
c lw 62366
c lw 62506
c lw 62622
c lw 62635
c lw 62929
c lw 63506
c lw 63530
c lw 63703
c lw 63811
c lw 63984
c lw 64087
c lw 64092
c lw 64481
c lw 64643
c lw 64651
c lw 64670
c lw 64953
c lw 65152
c lw 65221
c lw 65604
c lw 66015
c lw 66053
c lw 66224
c lw 66468
c lw 67243
c lw 67510
c lw 67791
c lw 68052
c lw 68342
c lw 68550
c lw 68753
c lw 68845
c lw 69026
c lw 69114
c lw 69385
c lw 69708
c lw 70923
c lw 70967
c lw 71855
c lw 71885
c lw 72349
c lw 72355
c lw 72361
c lw 72538
c lw 73233
c lw 73308
c lw 73341
c lw 73755
c lw 73757
c lw 74138
c lw 74285
c lw 74474
c lw 74597
c lw 74953
c lw 75484
c lw 75576
c lw 75731
c lw 76101
c lw 76143
c lw 76193
c lw 76296
c lw 76352
c lw 76400
c lw 76551
c lw 76667
c lw 76783
c lw 76807
c lw 76811
c lw 76875
c lw 76925
c lw 76944
c lw 76956
c lw 77757
c lw 77960
c lw 78134
c lw 78593
c lw 78604
c lw 78783
c lw 78844
c lw 79262
c lw 79454
c lw 79605
c lw 79627
c lw 79702
c lw 79742
c lw 79864
c lw 80880
c lw 81061
c lw 81066
c lw 81067
c lw 81068
c lw 81071
c lw 81104
c lw 81115
c lw 81117
c lw 81248
c lw 81453
c lw 81657
c lw 81699
c lw 81834
c lw 81911
c lw 81984
c lw 82209
c lw 82298
c lw 82340
c lw 83059
c lw 83239
c lw 83503
c lw 83642
c lw 83693
c lw 84990
c lw 85023
c lw 85136
c lw 85195
c lw 85588
c lw 85872
c lw 86001
c lw 86021
c lw 86118
c lw 86425
c lw 86474
c lw 86494
c lw 86523
c lw 86571
c lw 86582
c lw 86583
c lw 86584
c lw 86587
c lw 86593
c lw 86594
c lw 86595
c lw 86598
c lw 86599
c lw 86601
c lw 86696
c lw 86978
c lw 86979
c lw 86980
c lw 86981
c lw 87023
c lw 87066
c lw 87114
c lw 87127
c lw 87160
c lw 87507
c lw 87938
c lw 88304
c lw 88517
c lw 88823
c lw 88841
c lw 89436
c lw 89803
c lw 89887
c lw 89898
c lw 89900
c lw 89901
c lw 89966
c lw 89967
c lw 89968
c lw 89969
c lw 89980
c lw 89997
c lw 90002
c lw 90031
c lw 90033
c lw 90073
c lw 90249
c lw 90250
c lw 90251
c lw 90252
c lw 90254
c lw 90269
c lw 90421
c lw 90422
c lw 90423
c lw 90506
c lw 90515
c lw 90521
c lw 90526
c lw 90530
c lw 90537
c lw 90538
c lw 90539
c lw 90540
c lw 90541
c lw 90544
c lw 90545
c lw 90546
c lw 90549
c lw 90552
c lw 90553
c lw 90556
c lw 90662
c lw 90666
c lw 90670
c lw 90691
c lw 90714
c lw 90718
c lw 90727
c lw 90729
c lw 91092
c lw 91142
c lw 91509
c lw 92313
c lw 92314
c lw 92315
c lw 92319
c lw 92366
c lw 92377
c lw 92393
c lw 92403
c lw 92426
c lw 92485
c lw 92487
c lw 92513
c lw 92580
c lw 92632
c lw 92744
c lw 92746
c lw 92748
c lw 92751
c lw 92756
c lw 92757
c lw 92758
c lw 92759
c lw 92760
c lw 92761
c lw 92764
c lw 92765
c lw 92930
c lw 93050
c lw 93990
c lw 94362
c lw 94503
c lw 95229
c lw 95314
c lw 95437
c lw 95438
c lw 95439
c lw 95440
c lw 95441
c lw 95442
c lw 95443
c lw 95444
c lw 95445
c lw 95446
c lw 95447
c lw 95448
c lw 95449
c lw 95450
c lw 95451
c lw 95452
c lw 95453