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-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1193
c lw 2634
c lw 3941
c lw 6152
c lw 7139
c lw 7773
c lw 10106
c lw 11466
c lw 12316
c lw 13423
c lw 15744
c lw 16995
c lw 18883
c lw 19455
c lw 20464
c lw 22631
c lw 23082
c lw 23883
c lw 25605
c lw 26723
c lw 27502
c lw 27903
c lw 28281
c lw 28549
c lw 29574
c lw 29848
c lw 30076
c lw 30189
c lw 30245
c lw 30658
c lw 31115
c lw 31147
c lw 31380
c lw 31731
c lw 31918
c lw 32428
c lw 32971
c lw 33491
c lw 33764
c lw 34227
c lw 35726
c lw 35899
c lw 36078
c lw 37371
c lw 37685
c lw 37958
c lw 38644
c lw 39564
c lw 39903
c lw 40059
c lw 41090
c lw 41159
c lw 41252
c lw 41462
c lw 41546
c lw 41580
c lw 41904
c lw 42561
c lw 42711
c lw 43321
c lw 43589
c lw 44381
c lw 44534
c lw 44537
c lw 44760
c lw 44908
c lw 45443
c lw 45552
c lw 45826
c lw 46575
c lw 46798
c lw 47008
c lw 47569
c lw 47648
c lw 48403
c lw 48913
c lw 49399
c lw 49456
c lw 50144
c lw 50483
c lw 50756
c lw 51219
c lw 51392
c lw 51571
c lw 51597
c lw 52241
c lw 52605
c lw 52770
c lw 53043
c lw 53063
c lw 53260
c lw 53710
c lw 53892
c lw 54106
c lw 54114
c lw 54231
c lw 54350
c lw 54387
c lw 54528
c lw 54735
c lw 54738
c lw 54831
c lw 54861
c lw 54895
c lw 55322
c lw 55847
c lw 55897
c lw 56070
c lw 56280
c lw 56605
c lw 56642
c lw 56668
c lw 56781
c lw 57131
c lw 57753
c lw 58573
c lw 58699
c lw 59464
c lw 59524
c lw 59586
c lw 59965
c lw 60122
c lw 60341
c lw 60470
c lw 60490
c lw 61770
c lw 61800
c lw 61866
c lw 62404
c lw 62839
c lw 63060
c lw 63134
c lw 63140
c lw 63226
c lw 63562
c lw 64466
c lw 64597
c lw 64784
c lw 65948
c lw 66017
c lw 66125
c lw 66852
c lw 66911
c lw 67070
c lw 67111
c lw 67651
c lw 67865
c lw 67918
c lw 68271
c lw 68313
c lw 68333
c lw 68488
c lw 68644
c lw 68754
c lw 68854
c lw 68894
c lw 69675
c lw 70073
c lw 70516
c lw 70521
c lw 71324
c lw 71325
c lw 71514
c lw 71648
c lw 71862
c lw 72010
c lw 72412
c lw 72975
c lw 73114
c lw 73567
c lw 73759
c lw 74299
c lw 75206
c lw 75427
c lw 75769
c lw 75811
c lw 76460
c lw 76596
c lw 76704
c lw 76749
c lw 76990
c lw 77134
c lw 77164
c lw 77328
c lw 77905
c lw 78255
c lw 78311
c lw 78547
c lw 78756
c lw 78834
c lw 79498
c lw 79522
c lw 79742
c lw 79826
c lw 80477
c lw 81418
c lw 81538
c lw 82668
c lw 82804
c lw 82930
c lw 82931
c lw 84021
c lw 84203
c lw 84379
c lw 84598
c lw 84795
c lw 84828
c lw 84920
c lw 85095
c lw 85646
c lw 85925
c lw 85934
c lw 86146
c lw 86583
c lw 86652
c lw 86978
c lw 87347
c lw 87545
c lw 88082
c lw 88421
c lw 88693
c lw 89036
c lw 89049
c lw 89089
c lw 89093
c lw 89673
c lw 90152
c lw 90286
c lw 90288
c lw 90328
c lw 90345
c lw 90818
c lw 90831
c lw 91107
c lw 91178
c lw 91510
c lw 91519
c lw 91795
c lw 91956
c lw 92018
c lw 92200
c lw 92730
c lw 93073
c lw 93168
c lw 93361
c lw 93584
c lw 93590
c lw 93666
c lw 94507
c lw 94573
c lw 94949
c lw 94985
c lw 95154
c lw 95467
c lw 95798
c lw 96076
c lw 96240
c lw 96499
c lw 96544
c lw 96640
c lw 96734
c lw 97621
c lw 97793
c lw 97815
c lw 98008
c lw 98817
c lw 98931
c lw 99122
c lw 99480
c lw 99954
c lw 100369
c lw 100437
c lw 100440
c lw 100533
c lw 101382
c lw 101404
c lw 101524
c lw 101596
c lw 101630
c lw 101880
c lw 101907
c lw 101987
c lw 102157
c lw 102334
c lw 102412
c lw 102526
c lw 102708
c lw 103554
c lw 103755
c lw 103808
c lw 103818
c lw 103838
c lw 104091
c lw 104151
c lw 104167
c lw 104416
c lw 104703
c lw 104818
c lw 105853
c lw 106199
c lw 106578
c lw 106601
c lw 106668
c lw 106760
c lw 106764
c lw 106838
c lw 106869
c lw 106902
c lw 107430
c lw 107958
c lw 108231
c lw 108361
c lw 108515
c lw 108535
c lw 108581
c lw 108582
c lw 108586
c lw 108770
c lw 108876
c lw 109165
c lw 109283
c lw 109394
c lw 109496
c lw 109764
c lw 110053
c lw 110845
c lw 111060
c lw 111326
c lw 111514
c lw 112294
c lw 112322
c lw 112390
c lw 113632
c lw 113945
c lw 114013
c lw 114420
c lw 114670
c lw 114984
c lw 115166
c lw 115242
c lw 115255
c lw 115821
c lw 115990
c lw 115998
c lw 116242
c lw 116316
c lw 116320
c lw 116912
c lw 117122
c lw 117345
c lw 118037
c lw 118210
c lw 118918
c lw 118952
c lw 119833
c lw 120003
c lw 120562
c lw 120706
c lw 120824
c lw 120897
c lw 120899
c lw 120950
c lw 121799
c lw 122175
c lw 122188
c lw 122253
c lw 122343
c lw 122372
c lw 122564
c lw 122582
c lw 122602
c lw 122699
c lw 122700
c lw 123042
c lw 123120
c lw 123180
c lw 123507
c lw 124085
c lw 124262
c lw 124311
c lw 124598
c lw 124629
c lw 125274
c lw 125342
c lw 125564
c lw 125634
c lw 126210
c lw 126388
c lw 126502
c lw 127252
c lw 127259
c lw 127262
c lw 128372
c lw 128423
c lw 128493
c lw 128842
c lw 128873
c lw 129768
c lw 130294
c lw 130672
c lw 130790
c lw 130799
c lw 130849
c lw 130850
c lw 130886
c lw 130910
c lw 130927
c lw 130958
c lw 131299
c lw 131323
c lw 131330
c lw 131340
c lw 131352
c lw 131370
c lw 131386
c lw 131390
c lw 131393
c lw 131837
c lw 131853
c lw 131866
c lw 131918
c lw 131978
c lw 132362
c lw 133185
c lw 133186
c lw 133586
c lw 133661
c lw 133669
c lw 133716
c lw 133829
c lw 133833
c lw 133840
c lw 134516
c lw 135046
c lw 135137
c lw 135147
c lw 135149
c lw 135174
c lw 135193
c lw 135308
c lw 135542
c lw 135765
c lw 135771
c lw 135778
c lw 135797
c lw 135798
c lw 135810
c lw 135833
c lw 135844
c lw 135877
c lw 135983
c lw 136156
c lw 136200
c lw 136249
c lw 136252
c lw 136286
c lw 136302
c lw 136327
c lw 136422
c lw 136426
c lw 136507
c lw 136516
c lw 136525
c lw 136627
c lw 136649
c lw 136666
c lw 136668
c lw 136670
c lw 136690
c lw 136716
c lw 136881
c lw 136951
c lw 138121
c lw 138309
c lw 139261
c lw 140135
c lw 140136
c lw 140477
c lw 140478
c lw 140486
c lw 140528
c lw 140537
c lw 140538
c lw 140543
c lw 140544
c lw 140550
c lw 141347
c lw 141422
c lw 141516
c lw 141540
c lw 141560
c lw 141569
c lw 141573
c lw 141596
c lw 141626
c lw 141636
c lw 141645
c lw 141681
c lw 141683
c lw 141684
c lw 141691
c lw 141704
c lw 141708
c lw 141734
c lw 141738
c lw 141740
c lw 141746
c lw 141751
c lw 141756
c lw 141758
c lw 142062
c lw 142063
c lw 142064
c lw 142065
c lw 142067
c lw 142069
c lw 142070
c lw 142071
c lw 142072
c lw 142073
c lw 142074
c lw 142075
c lw 142076
c lw 142078
c lw 142079
c lw 142083
c lw 142086
c lw 142088
c lw 142089
c lw 142090
c lw 142091
c lw 142093
c lw 142101
c lw 142102
c lw 142109
c lw 142110
c lw 142112
c lw 142120
c lw 142122
c lw 142124
c lw 142130
c lw 142131
c lw 142133
c lw 142146
c lw 142150
c lw 142153
c lw 142169
c lw 142173
c lw 142174
c lw 142175
c lw 142176
c lw 142177
c lw 142180
c lw 142181
c lw 142193
c lw 142194
c lw 142195
c lw 142196
c lw 142201
c lw 142202
c lw 142205
c lw 142207
c lw 142208
c lw 142209
c lw 142210
c lw 142211
c lw 142296
c lw 142353
c lw 142690
c lw 142973
c lw 143533
c lw 143538
c lw 143558
c lw 144073
c lw 144114
c lw 144497
c lw 144969
c lw 145438
c lw 145479
c lw 145748
c lw 145755
c lw 146178
c lw 146434
c lw 146502
c lw 146660
c lw 146661
c lw 146665
c lw 146678
c lw 146684
c lw 146804
c lw 146805
c lw 146811
c lw 146815
c lw 146816
c lw 146822
c lw 146836
c lw 146839
c lw 146840
c lw 146862
c lw 146867
c lw 146891
c lw 147690
c lw 147721
c lw 147812
c lw 147903
c lw 147934
c lw 147991
c lw 148298
c lw 148733
c lw 148767
c lw 149744
c lw 149803
c lw 149889
c lw 149913
c lw 150110
c lw 151009
c lw 151121
c lw 151122
c lw 151125
c lw 151182
c lw 151185
c lw 151193
c lw 151209
c lw 151219
c lw 151220
c lw 151222
c lw 151225
c lw 151231
c lw 151233
c lw 151234
c lw 151237
c lw 151252
c lw 151263
c lw 151264
c lw 151270
c lw 151280
c lw 151282
c lw 151286
c lw 151288
c lw 151290
c lw 151296
c lw 151306
c lw 151401
c lw 151403
c lw 151430
c lw 151469
c lw 151470
c lw 151471
c lw 151473
c lw 151487
c lw 151595
c lw 151598
c lw 151599
c lw 151983
c lw 153134
c lw 153679
c lw 153964
c lw 153967
c lw 154404
c lw 154405
c lw 154749
c lw 155118
c lw 155361
c lw 155621
c lw 155657
c lw 155666
c lw 155674
c lw 155682
c lw 155691
c lw 155696
c lw 155707
c lw 155709
c lw 155717
c lw 155724
c lw 155725
c lw 155728
c lw 155743
c lw 155758
c lw 155759
c lw 155762
c lw 155764
c lw 155911
c lw 155912
c lw 155919
c lw 155920
c lw 155921
c lw 155922
c lw 155923
c lw 155924
c lw 155925
c lw 155926
c lw 155927
c lw 155928
c lw 155929
c lw 155930
c lw 155931
c lw 155933
c lw 155934
c lw 155935
c lw 155940
c lw 155941
c lw 155949
c lw 155950
c lw 155951
c lw 155952
c lw 155953
c lw 155954
c lw 155955
c lw 155956
c lw 155957
c lw 155958
c lw 155998
c lw 156000
c lw 156183
c lw 156184
c lw 156185
c lw 156187
c lw 156188
c lw 156189
c lw 156190
c lw 156248
c lw 156288
c lw 156335
c lw 156436
c lw 156476
c lw 156482
c lw 156855
c lw 157023
c lw 157385
c lw 157515
c lw 157544
c lw 158716
c lw 158867
c lw 158934
c lw 159231
c lw 159260
c lw 159676
c lw 159741
c lw 160354
c lw 161633
c lw 161717
c lw 161718
c lw 161719
c lw 161720
c lw 161721
c lw 161722
c lw 161723
c lw 161724
c lw 161725
c lw 161726
c lw 161727
c lw 161728