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-180-1_network-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 864
c lw 921
c lw 1063
c lw 1085
c lw 1936
c lw 2963
c lw 4639
c lw 7188
c lw 8594
c lw 9765
c lw 9917
c lw 10747
c lw 12716
c lw 14507
c lw 14516
c lw 15500
c lw 16252
c lw 17892
c lw 18144
c lw 18792
c lw 20159
c lw 20509
c lw 20860
c lw 22702
c lw 23351
c lw 24365
c lw 25129
c lw 26011
c lw 26747
c lw 27262
c lw 27821
c lw 28155
c lw 28211
c lw 28234
c lw 28723
c lw 29347
c lw 29835
c lw 30115
c lw 30483
c lw 31192
c lw 31545
c lw 31921
c lw 32681
c lw 33385
c lw 33829
c lw 34341
c lw 34502
c lw 34591
c lw 34680
c lw 34691
c lw 34742
c lw 34844
c lw 35079
c lw 35490
c lw 35695
c lw 35753
c lw 35792
c lw 35818
c lw 36012
c lw 36144
c lw 36774
c lw 36818
c lw 37177
c lw 37804
c lw 37826
c lw 38100
c lw 38134
c lw 38629
c lw 39692
c lw 39961
c lw 40724
c lw 41285
c lw 41412
c lw 41714
c lw 41802
c lw 42104
c lw 42126
c lw 42211
c lw 42790
c lw 42850
c lw 43109
c lw 43299
c lw 43895
c lw 44837
c lw 45067
c lw 45975
c lw 46190
c lw 46274
c lw 46347
c lw 47041
c lw 47047
c lw 47278
c lw 47709
c lw 47727
c lw 47751
c lw 48672
c lw 49415
c lw 49456
c lw 49550
c lw 49943
c lw 50500
c lw 50712
c lw 51088
c lw 52104
c lw 52217
c lw 52831
c lw 53089
c lw 53218
c lw 53430
c lw 53739
c lw 54210
c lw 54443
c lw 54563
c lw 54724
c lw 54990
c lw 55079
c lw 55567
c lw 56232
c lw 56430
c lw 56501
c lw 57111
c lw 57426
c lw 57444
c lw 57455
c lw 57719
c lw 57902
c lw 58498
c lw 58651
c lw 58673
c lw 58929
c lw 59347
c lw 59669
c lw 59758
c lw 59963
c lw 60026
c lw 60084
c lw 60123
c lw 60575
c lw 60835
c lw 60967
c lw 61085
c lw 61391
c lw 61454
c lw 61483
c lw 62285
c lw 62552
c lw 62893
c lw 62983
c lw 63214
c lw 63220
c lw 63248
c lw 63289
c lw 63607
c lw 63736
c lw 64135
c lw 64691
c lw 64895
c lw 65330
c lw 65355
c lw 65491
c lw 65520
c lw 65798
c lw 65820
c lw 65889
c lw 66227
c lw 66438
c lw 66501
c lw 66535
c lw 66876
c lw 67030
c lw 67136
c lw 67208
c lw 67296
c lw 67381
c lw 67431
c lw 67446
c lw 67661
c lw 67774
c lw 67843
c lw 67999
c lw 68164
c lw 68213
c lw 68302
c lw 68331
c lw 68529
c lw 68711
c lw 68849
c lw 68888
c lw 68912
c lw 69095
c lw 69147
c lw 69933
c lw 70119
c lw 70151
c lw 70785
c lw 70793
c lw 71124
c lw 71217
c lw 71671
c lw 71956
c lw 71998
c lw 72213
c lw 72219
c lw 72230
c lw 72233
c lw 72249
c lw 72338
c lw 72417
c lw 72721
c lw 72869
c lw 73115
c lw 73792
c lw 74093
c lw 74254
c lw 74332
c lw 75131
c lw 75173
c lw 75201
c lw 75273
c lw 76352
c lw 76480
c lw 76747
c lw 77391
c lw 77648
c lw 77650
c lw 77776
c lw 77849
c lw 78239
c lw 79165
c lw 79254
c lw 79619
c lw 79970
c lw 80642
c lw 80685
c lw 81342
c lw 81372
c lw 81419
c lw 81690
c lw 81736
c lw 81771
c lw 82205
c lw 82934
c lw 83522
c lw 84640
c lw 84991
c lw 85358
c lw 85589
c lw 85618
c lw 85752
c lw 86515
c lw 86898
c lw 87226
c lw 87228
c lw 87400
c lw 87541
c lw 87573
c lw 87931
c lw 88125
c lw 88304
c lw 88339
c lw 88418
c lw 88419
c lw 89156
c lw 89246
c lw 89815
c lw 89876
c lw 89910
c lw 89993
c lw 90169
c lw 90728
c lw 91559
c lw 91665
c lw 91803
c lw 91822
c lw 91834
c lw 92073
c lw 92734
c lw 93334
c lw 93689
c lw 93690
c lw 93718
c lw 93799
c lw 93964
c lw 93999
c lw 94005
c lw 94491
c lw 94511
c lw 94716
c lw 95592
c lw 95953
c lw 95976
c lw 96385
c lw 96388
c lw 96641
c lw 96808
c lw 97013
c lw 97087
c lw 97983
c lw 98166
c lw 98284
c lw 99274
c lw 99500
c lw 99514
c lw 99731
c lw 100479
c lw 100518
c lw 100609
c lw 100689
c lw 100746
c lw 100809
c lw 100856
c lw 100889
c lw 101037
c lw 101151
c lw 101156
c lw 101777
c lw 101927
c lw 102153
c lw 102175
c lw 102538
c lw 102675
c lw 102691
c lw 102709
c lw 102758
c lw 102776
c lw 102781
c lw 102799
c lw 102809
c lw 102815
c lw 102998
c lw 103027
c lw 103046
c lw 103083
c lw 103117
c lw 103429
c lw 104014
c lw 104024
c lw 104041
c lw 104065
c lw 104118
c lw 104129
c lw 104156
c lw 104175
c lw 104203
c lw 104220
c lw 104225
c lw 104228
c lw 104252
c lw 104255
c lw 104256
c lw 104283
c lw 104336
c lw 104421
c lw 104435
c lw 104706
c lw 104707
c lw 104710
c lw 104722
c lw 105146
c lw 105191
c lw 105329
c lw 106127
c lw 106143
c lw 106176
c lw 106492
c lw 107491
c lw 107544
c lw 107633
c lw 107712
c lw 107728
c lw 107770
c lw 107816
c lw 107946
c lw 107956
c lw 107959
c lw 107962
c lw 107966
c lw 108372
c lw 108655
c lw 109240
c lw 109383
c lw 109394
c lw 109466
c lw 109489
c lw 109513
c lw 110082
c lw 110085
c lw 110088
c lw 110092
c lw 110473
c lw 110528
c lw 110532
c lw 110535
c lw 110538
c lw 110719
c lw 110745
c lw 110952
c lw 110990
c lw 111506
c lw 112127
c lw 112303
c lw 112441
c lw 113152
c lw 113480
c lw 113760
c lw 113867
c lw 113966
c lw 114128
c lw 114309
c lw 114511
c lw 114820
c lw 115012
c lw 115089
c lw 115365
c lw 115609
c lw 115810
c lw 115853
c lw 115874
c lw 116073
c lw 116714
c lw 116786
c lw 117734
c lw 117778
c lw 117816
c lw 117823
c lw 117851
c lw 117928
c lw 118473
c lw 118620
c lw 118627
c lw 118633
c lw 118638
c lw 118727
c lw 118874
c lw 119026
c lw 119620
c lw 119639
c lw 119749
c lw 120422
c lw 120819
c lw 121138
c lw 121478
c lw 121510
c lw 121838
c lw 121891
c lw 121907
c lw 122055
c lw 122064
c lw 122216
c lw 122251
c lw 123078
c lw 123422
c lw 123544
c lw 123573
c lw 123604
c lw 123651
c lw 123716
c lw 124192
c lw 124221
c lw 124245
c lw 124705
c lw 124711
c lw 124736
c lw 124805
c lw 124876
c lw 125350
c lw 125363
c lw 125381
c lw 125866
c lw 126510
c lw 126516
c lw 126649
c lw 126666
c lw 126688
c lw 126724
c lw 126729
c lw 126732
c lw 126798
c lw 126850
c lw 126851
c lw 126889
c lw 126911
c lw 126921
c lw 126925
c lw 127158
c lw 128125
c lw 128168
c lw 128441
c lw 128774
c lw 129145
c lw 129158
c lw 129203
c lw 129244
c lw 129255
c lw 129354
c lw 129434
c lw 129460
c lw 129760
c lw 129896
c lw 130058
c lw 130085
c lw 130109
c lw 130116
c lw 130144
c lw 130163
c lw 130451
c lw 130716
c lw 130872
c lw 130964
c lw 131135
c lw 131385
c lw 131416
c lw 131445
c lw 131547
c lw 131669
c lw 131728
c lw 131784
c lw 131809
c lw 131815
c lw 131914
c lw 131920
c lw 132030
c lw 132284
c lw 132291
c lw 132755
c lw 132810
c lw 133388
c lw 133395
c lw 133716
c lw 134202
c lw 134310
c lw 134689
c lw 134757
c lw 135110
c lw 135313
c lw 135563
c lw 135691
c lw 135771
c lw 135954
c lw 136008
c lw 136098
c lw 137098
c lw 137115
c lw 137118
c lw 137130
c lw 137133
c lw 137134
c lw 137137
c lw 137142
c lw 137148
c lw 137151
c lw 137156
c lw 137161
c lw 137166
c lw 137169
c lw 137764
c lw 137925
c lw 138258
c lw 138416
c lw 138455
c lw 138594
c lw 138808
c lw 138915
c lw 139318
c lw 139319
c lw 139343
c lw 139347
c lw 139354
c lw 139366
c lw 139862
c lw 140334
c lw 140495
c lw 140516
c lw 140534
c lw 140575
c lw 140844
c lw 140845
c lw 140860
c lw 140873
c lw 140890
c lw 140896
c lw 140901
c lw 140903
c lw 140905
c lw 140923
c lw 140929
c lw 140935
c lw 140938
c lw 140939
c lw 140943
c lw 140945
c lw 140948
c lw 140950
c lw 140952
c lw 140953
c lw 140954
c lw 140956
c lw 140959
c lw 140961
c lw 140966
c lw 140968
c lw 141123
c lw 141326
c lw 141478
c lw 141661
c lw 141709
c lw 141756
c lw 142482
c lw 142708
c lw 142710
c lw 142711
c lw 142712
c lw 142714
c lw 142715
c lw 142721
c lw 142722
c lw 142723
c lw 142725
c lw 142731
c lw 142734
c lw 142735
c lw 142737
c lw 142738
c lw 142742
c lw 142743
c lw 142744
c lw 142747
c lw 143019
c lw 143076
c lw 143207
c lw 143223
c lw 143681
c lw 143990
c lw 144737
c lw 144746
c lw 144892
c lw 144921
c lw 145124
c lw 145133
c lw 145149
c lw 145191
c lw 145198
c lw 145199
c lw 145200
c lw 145203
c lw 145211
c lw 145213
c lw 145214
c lw 145215
c lw 145224
c lw 145225
c lw 145226
c lw 145227
c lw 145229
c lw 145231
c lw 145232
c lw 145235
c lw 145236
c lw 145238
c lw 145240
c lw 145241
c lw 145243
c lw 145244
c lw 145247
c lw 145249
c lw 145251
c lw 145252
c lw 145253
c lw 145254
c lw 145257
c lw 145258
c lw 145261
c lw 145266
c lw 145267
c lw 145268
c lw 145269
c lw 145270
c lw 145271
c lw 145272
c lw 145273
c lw 145275
c lw 145282
c lw 145283
c lw 145692
c lw 145888
c lw 145966
c lw 145975
c lw 146301
c lw 146580
c lw 147124
c lw 147367
c lw 147754
c lw 147891
c lw 148170
c lw 148171
c lw 148172
c lw 148182
c lw 149150
c lw 149632
c lw 149758
c lw 149926
c lw 150418
c lw 151274
c lw 151506
c lw 151905
c lw 151920
c lw 151968
c lw 151969
c lw 151972
c lw 151982
c lw 152705
c lw 152707
c lw 153052
c lw 153680
c lw 153692
c lw 153693
c lw 153699
c lw 153708
c lw 153714
c lw 153731
c lw 153732
c lw 153738
c lw 153744
c lw 153750
c lw 154154
c lw 155211
c lw 155218
c lw 155358
c lw 155387
c lw 155388
c lw 155389
c lw 155390
c lw 155391
c lw 155392
c lw 155393
c lw 155436
c lw 155579
c lw 155869
c lw 155871
c lw 155873
c lw 155874
c lw 155875
c lw 155881
c lw 155883
c lw 155884
c lw 155885
c lw 155889
c lw 156284
c lw 156464
c lw 157095
c lw 157616
c lw 157872
c lw 158018
c lw 158269
c lw 159563
c lw 159854
c lw 159859
c lw 159952
c lw 160101
c lw 160102
c lw 160103
c lw 160119
c lw 160120
c lw 160129
c lw 160130
c lw 160134
c lw 160136
c lw 160137
c lw 160380
c lw 160381
c lw 160382
c lw 160383
c lw 160384
c lw 160385
c lw 160386
c lw 160387
c lw 160389
c lw 160390
c lw 160391
c lw 160392
c lw 160393
c lw 160395
c lw 160396
c lw 160397
c lw 160398
c lw 160399
c lw 160400
c lw 160401
c lw 160402
c lw 160704
c lw 160718
c lw 161036
c lw 161037
c lw 161038
c lw 161039
c lw 161040
c lw 161041
c lw 161042
c lw 161043
c lw 161044
c lw 161045
c lw 161046
c lw 161059
c lw 161060
c lw 161068
c lw 161069
c lw 161070
c lw 161071
c lw 161072
c lw 161073
c lw 161074
c lw 161075
c lw 161076
c lw 161077
c lw 161078
c lw 161079
c lw 161080
c lw 161081
c lw 161082
c lw 161083
c lw 161084