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-280-1_network-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 656
c lw 1156
c lw 2155
c lw 2317
c lw 3578
c lw 4269
c lw 5437
c lw 7550
c lw 8960
c lw 11211
c lw 11530
c lw 12569
c lw 13307
c lw 14484
c lw 15784
c lw 16071
c lw 16085
c lw 16407
c lw 18322
c lw 20160
c lw 20252
c lw 21842
c lw 22979
c lw 23490
c lw 24597
c lw 25310
c lw 26204
c lw 26317
c lw 27676
c lw 29610
c lw 31250
c lw 31995
c lw 33143
c lw 33929
c lw 34494
c lw 34751
c lw 35082
c lw 35241
c lw 36393
c lw 36892
c lw 37500
c lw 37581
c lw 37915
c lw 37971
c lw 38109
c lw 38490
c lw 38603
c lw 38645
c lw 38935
c lw 39871
c lw 40072
c lw 40617
c lw 40837
c lw 41247
c lw 41723
c lw 41854
c lw 41989
c lw 42411
c lw 42799
c lw 42828
c lw 42964
c lw 43459
c lw 45331
c lw 45344
c lw 45913
c lw 46092
c lw 46303
c lw 46605
c lw 46711
c lw 46768
c lw 47330
c lw 47341
c lw 47528
c lw 48057
c lw 48666
c lw 49354
c lw 49962
c lw 50241
c lw 51336
c lw 51733
c lw 51777
c lw 52117
c lw 52228
c lw 53104
c lw 53278
c lw 53456
c lw 53742
c lw 53841
c lw 54700
c lw 54849
c lw 55010
c lw 55044
c lw 55370
c lw 55391
c lw 56137
c lw 56429
c lw 56588
c lw 57122
c lw 57230
c lw 57899
c lw 58100
c lw 58527
c lw 58562
c lw 58782
c lw 59102
c lw 59123
c lw 60026
c lw 60157
c lw 60256
c lw 61405
c lw 61521
c lw 61689
c lw 61809
c lw 61811
c lw 61987
c lw 62291
c lw 62337
c lw 62344
c lw 62357
c lw 62392
c lw 62603
c lw 62781
c lw 62863
c lw 62920
c lw 62931
c lw 63118
c lw 63553
c lw 63796
c lw 63819
c lw 63886
c lw 64358
c lw 64562
c lw 64774
c lw 65666
c lw 65789
c lw 66397
c lw 66676
c lw 66885
c lw 67177
c lw 67355
c lw 67379
c lw 67382
c lw 68247
c lw 69419
c lw 69537
c lw 69547
c lw 69796
c lw 69969
c lw 70008
c lw 70041
c lw 70265
c lw 70557
c lw 70909
c lw 70987
c lw 71626
c lw 72072
c lw 72366
c lw 72719
c lw 72789
c lw 73860
c lw 74171
c lw 74265
c lw 75483
c lw 75722
c lw 76182
c lw 76188
c lw 76313
c lw 76727
c lw 76979
c lw 77012
c lw 78531
c lw 78555
c lw 78577
c lw 78915
c lw 79342
c lw 79361
c lw 80257
c lw 80723
c lw 80781
c lw 80926
c lw 80961
c lw 81003
c lw 81378
c lw 81653
c lw 81995
c lw 82013
c lw 82022
c lw 82116
c lw 82834
c lw 82918
c lw 82950
c lw 83653
c lw 83755
c lw 84158
c lw 84327
c lw 84921
c lw 85017
c lw 85113
c lw 85432
c lw 85442
c lw 85557
c lw 85944
c lw 86043
c lw 86330
c lw 87223
c lw 87301
c lw 87919
c lw 88011
c lw 88177
c lw 88315
c lw 88384
c lw 88473
c lw 88526
c lw 88720
c lw 88757
c lw 88991
c lw 89055
c lw 89191
c lw 89353
c lw 89501
c lw 90135
c lw 91423
c lw 91570
c lw 91980
c lw 92383
c lw 92885
c lw 93658
c lw 93704
c lw 95016
c lw 95089
c lw 95981
c lw 96101
c lw 96116
c lw 96675
c lw 96828
c lw 97018
c lw 97023
c lw 97520
c lw 97821
c lw 97902
c lw 97974
c lw 98232
c lw 98352
c lw 98702
c lw 98703
c lw 98988
c lw 99173
c lw 99546
c lw 99586
c lw 99645
c lw 100410
c lw 100476
c lw 100741
c lw 101497
c lw 101641
c lw 101654
c lw 101763
c lw 102469
c lw 102778
c lw 102798
c lw 103335
c lw 103399
c lw 103825
c lw 103871
c lw 103974
c lw 104579
c lw 105537
c lw 105632
c lw 105696
c lw 105821
c lw 106521
c lw 106673
c lw 106687
c lw 106830
c lw 107045
c lw 107278
c lw 107367
c lw 108329
c lw 108338
c lw 108367
c lw 108416
c lw 108552
c lw 108773
c lw 109328
c lw 109970
c lw 110469
c lw 110578
c lw 111205
c lw 111410
c lw 111611
c lw 112169
c lw 112185
c lw 112321
c lw 112442
c lw 112815
c lw 113018
c lw 113121
c lw 113177
c lw 113671
c lw 113933
c lw 113936
c lw 114170
c lw 114312
c lw 114317
c lw 114673
c lw 114786
c lw 114863
c lw 115481
c lw 115605
c lw 115753
c lw 116029
c lw 116183
c lw 116513
c lw 117208
c lw 117790
c lw 117949
c lw 118428
c lw 118486
c lw 119141
c lw 119500
c lw 120530
c lw 121024
c lw 121160
c lw 121465
c lw 121580
c lw 121591
c lw 122247
c lw 122289
c lw 122334
c lw 122440
c lw 122497
c lw 123618
c lw 123656
c lw 124827
c lw 124922
c lw 124962
c lw 124968
c lw 125583
c lw 125592
c lw 126220
c lw 126226
c lw 126400
c lw 126541
c lw 126559
c lw 126576
c lw 126947
c lw 127689
c lw 127697
c lw 128181
c lw 128904
c lw 128941
c lw 129185
c lw 129317
c lw 129640
c lw 129659
c lw 129801
c lw 129939
c lw 130001
c lw 130061
c lw 130141
c lw 130970
c lw 131430
c lw 131532
c lw 131558
c lw 131807
c lw 131914
c lw 131952
c lw 132082
c lw 132312
c lw 132347
c lw 132449
c lw 132568
c lw 132807
c lw 132826
c lw 133108
c lw 133390
c lw 133415
c lw 133515
c lw 133556
c lw 134095
c lw 134618
c lw 134717
c lw 134762
c lw 134800
c lw 135640
c lw 135722
c lw 135867
c lw 135931
c lw 136041
c lw 136209
c lw 136355
c lw 136419
c lw 136628
c lw 137033
c lw 137211
c lw 137383
c lw 137389
c lw 137722
c lw 137872
c lw 137877
c lw 138186
c lw 138620
c lw 138918
c lw 139459
c lw 139798
c lw 139816
c lw 139822
c lw 140145
c lw 140219
c lw 140842
c lw 140848
c lw 140982
c lw 141034
c lw 141164
c lw 141360
c lw 141524
c lw 141590
c lw 141689
c lw 141819
c lw 141931
c lw 141966
c lw 141983
c lw 142001
c lw 142003
c lw 142168
c lw 142187
c lw 142265
c lw 142663
c lw 142679
c lw 143582
c lw 143830
c lw 143860
c lw 143912
c lw 144367
c lw 144424
c lw 144648
c lw 144733
c lw 144755
c lw 144778
c lw 145667
c lw 145698
c lw 145739
c lw 146014
c lw 147101
c lw 147120
c lw 147200
c lw 147215
c lw 147440
c lw 147999
c lw 148229
c lw 148694
c lw 148984
c lw 149538
c lw 150503
c lw 150544
c lw 150601
c lw 151266
c lw 151335
c lw 151376
c lw 151952
c lw 152029
c lw 152095
c lw 152135
c lw 152149
c lw 152552
c lw 153157
c lw 153736
c lw 153908
c lw 153947
c lw 154807
c lw 155705
c lw 155792
c lw 155845
c lw 155883
c lw 156094
c lw 156344
c lw 156442
c lw 156840
c lw 157106
c lw 157481
c lw 158074
c lw 158657
c lw 159351
c lw 160377
c lw 160395
c lw 160798
c lw 160875
c lw 161451
c lw 161590
c lw 162043
c lw 162540
c lw 162991
c lw 163657
c lw 163918
c lw 164140
c lw 164494
c lw 164512
c lw 164863
c lw 165816
c lw 165847
c lw 165974
c lw 166095
c lw 166172
c lw 166192
c lw 166789
c lw 166792
c lw 167538
c lw 167681
c lw 168024
c lw 168026
c lw 168035
c lw 168041
c lw 168285
c lw 168474
c lw 169211
c lw 169291
c lw 169791
c lw 170013
c lw 170415
c lw 170432
c lw 171012
c lw 171140
c lw 171560
c lw 172273
c lw 172837
c lw 172857
c lw 172868
c lw 172965
c lw 172992
c lw 173164
c lw 173171
c lw 173578
c lw 173941
c lw 174024
c lw 174099
c lw 174458
c lw 174472
c lw 174942
c lw 175368
c lw 175386
c lw 175393
c lw 175507
c lw 175684
c lw 175768
c lw 175864
c lw 175960
c lw 176111
c lw 176204
c lw 176210
c lw 176219
c lw 176221
c lw 176308
c lw 176330
c lw 176567
c lw 176858
c lw 177312
c lw 177414
c lw 177526
c lw 178303
c lw 178352
c lw 178425
c lw 178539
c lw 178752
c lw 179234
c lw 179516
c lw 179626
c lw 179629
c lw 179728
c lw 179866
c lw 180562
c lw 180727
c lw 180841
c lw 180860
c lw 181254
c lw 181316
c lw 182027
c lw 182031
c lw 182542
c lw 182735
c lw 183147
c lw 183378
c lw 183400
c lw 183455
c lw 183757
c lw 184165
c lw 184376
c lw 184387
c lw 184570
c lw 184873
c lw 184938
c lw 185346
c lw 185504
c lw 185520
c lw 186114
c lw 186119
c lw 186527
c lw 186592
c lw 186680
c lw 186779
c lw 187542
c lw 188187
c lw 188435
c lw 188632
c lw 188736
c lw 188741
c lw 189117
c lw 189452
c lw 190288
c lw 190923
c lw 190943
c lw 191177
c lw 191339
c lw 191423
c lw 191820
c lw 192089
c lw 192551
c lw 192591
c lw 193271
c lw 193495
c lw 194095
c lw 194542
c lw 194843
c lw 194967
c lw 194981
c lw 195026
c lw 195046
c lw 195336
c lw 195890
c lw 195964
c lw 196024
c lw 196798
c lw 196896
c lw 197167
c lw 197361
c lw 197459
c lw 197573
c lw 197586
c lw 197600
c lw 197752
c lw 197794
c lw 198118
c lw 198295
c lw 198360
c lw 198384
c lw 198478
c lw 198551
c lw 198928
c lw 199443
c lw 199539
c lw 199545
c lw 199547
c lw 199557
c lw 199710
c lw 199814
c lw 199820
c lw 199822
c lw 199832
c lw 200005
c lw 200007
c lw 200011
c lw 200015
c lw 200026
c lw 200064
c lw 200089
c lw 200102
c lw 200106
c lw 201170
c lw 201174
c lw 201198
c lw 201602
c lw 201742
c lw 201873
c lw 201875
c lw 201966
c lw 201968
c lw 201969
c lw 201970
c lw 201972
c lw 201974
c lw 201985
c lw 202000
c lw 202002
c lw 202019
c lw 202423
c lw 202989
c lw 202993
c lw 203014
c lw 203018
c lw 203022
c lw 203033
c lw 203049
c lw 203106
c lw 203141
c lw 203316
c lw 203363
c lw 203442
c lw 203455
c lw 203460
c lw 203520
c lw 203534
c lw 203774
c lw 204350
c lw 204353
c lw 204354
c lw 204357
c lw 204388
c lw 204448
c lw 204760
c lw 204875
c lw 205488
c lw 206834
c lw 207387
c lw 207453
c lw 207649
c lw 207734
c lw 207789
c lw 207823
c lw 208124
c lw 208138
c lw 208372
c lw 208423
c lw 208533
c lw 208553
c lw 208700
c lw 208751
c lw 208780
c lw 209787
c lw 210824
c lw 210926
c lw 211776
c lw 212266
c lw 212431
c lw 212484
c lw 212501
c lw 212515
c lw 212619
c lw 212742
c lw 213054
c lw 213112
c lw 213529
c lw 214020
c lw 214045
c lw 214214
c lw 214239
c lw 214313
c lw 214611
c lw 215339
c lw 215420
c lw 215828
c lw 215876
c lw 215974
c lw 216025
c lw 216127
c lw 216242
c lw 216271
c lw 216282
c lw 216761
c lw 216986
c lw 217522
c lw 217568
c lw 217602
c lw 217956
c lw 218043
c lw 218088
c lw 218165
c lw 219773
c lw 219789
c lw 219863
c lw 220903
c lw 221031
c lw 221186
c lw 221210
c lw 221213
c lw 221224
c lw 221285
c lw 221294
c lw 221313
c lw 221314
c lw 221325
c lw 221340
c lw 221348
c lw 221479
c lw 221490
c lw 221491
c lw 221495
c lw 221510
c lw 221519
c lw 221543
c lw 221580
c lw 221583
c lw 221638
c lw 221650
c lw 221658
c lw 221667
c lw 221691
c lw 221695
c lw 221701
c lw 221705
c lw 221715
c lw 221718
c lw 222066
c lw 222367
c lw 223570
c lw 223616
c lw 223648
c lw 223963
c lw 223980
c lw 223997
c lw 224012
c lw 224056
c lw 224065
c lw 224071
c lw 224082
c lw 224133
c lw 224135
c lw 224136
c lw 224140
c lw 224141
c lw 224144
c lw 224148
c lw 224174
c lw 224177
c lw 224192
c lw 224195
c lw 224203
c lw 224204
c lw 224205
c lw 224206
c lw 224207
c lw 224208
c lw 224209
c lw 224210
c lw 224211
c lw 224212
c lw 224213
c lw 224214
c lw 224472
c lw 224525
c lw 224993
c lw 226145
c lw 226229
c lw 226233
c lw 226244
c lw 226247
c lw 226248
c lw 226264
c lw 226284
c lw 226285
c lw 226286
c lw 226287
c lw 226289
c lw 226293
c lw 226295
c lw 226297
c lw 226299
c lw 226300
c lw 226301
c lw 226302
c lw 226308
c lw 226310
c lw 226311
c lw 226312
c lw 226313
c lw 226314
c lw 226315
c lw 226316
c lw 226317
c lw 226318
c lw 226319
c lw 226320
c lw 226321
c lw 226322
c lw 226323
c lw 226326
c lw 226346
c lw 226627
c lw 227154
c lw 228130
c lw 228260
c lw 228345
c lw 228412
c lw 229415
c lw 229470
c lw 229597
c lw 229781
c lw 230577
c lw 230855
c lw 230995
c lw 231032
c lw 231463
c lw 231582
c lw 231880
c lw 231949
c lw 231983
c lw 231987
c lw 232110
c lw 232117
c lw 232139
c lw 232171
c lw 232174
c lw 232178
c lw 232181
c lw 232224
c lw 232297
c lw 232396
c lw 232397
c lw 232415
c lw 233134
c lw 234117
c lw 234182
c lw 234318
c lw 235299
c lw 235627
c lw 235635
c lw 235640
c lw 235700
c lw 235712
c lw 235717
c lw 235720
c lw 235725
c lw 235743
c lw 235744
c lw 235755
c lw 235769
c lw 235843
c lw 235889
c lw 235909
c lw 235927
c lw 235969
c lw 235973
c lw 235990
c lw 235995
c lw 235999
c lw 236000
c lw 236002
c lw 236003
c lw 236007
c lw 236008
c lw 236009
c lw 236010
c lw 236013
c lw 236023
c lw 236026
c lw 236028
c lw 236029
c lw 236093
c lw 236102
c lw 236107
c lw 236239
c lw 236288
c lw 236361
c lw 236362
c lw 236364
c lw 236710
c lw 236711
c lw 236724
c lw 236726
c lw 236729
c lw 236778
c lw 236779
c lw 236781
c lw 236782
c lw 236783
c lw 236784
c lw 236785
c lw 236786
c lw 236787
c lw 236788
c lw 236789
c lw 236790
c lw 236791
c lw 236792
c lw 236793
c lw 236794
c lw 236795
c lw 236796
c lw 236797
c lw 236798
c lw 236799
c lw 236857
c lw 236880
c lw 237203
c lw 237252
c lw 237907
c lw 238100
c lw 238107
c lw 238113
c lw 238123
c lw 238210
c lw 238211
c lw 238217
c lw 238295
c lw 238296
c lw 238297
c lw 238298
c lw 238299
c lw 238300
c lw 238301
c lw 238302
c lw 238303
c lw 238304
c lw 238305
c lw 238306
c lw 238307
c lw 238308
c lw 238309
c lw 238310
c lw 238311
c lw 238312
c lw 238313
c lw 238314
c lw 238315
c lw 238316
c lw 238317
c lw 238318
c lw 238319
c lw 238320
c lw 238827
c lw 239742
c lw 239743
c lw 239841
c lw 239989
c lw 240065
c lw 240074
c lw 240744
c lw 240765
c lw 240992
c lw 241098
c lw 241119
c lw 241547
c lw 241564
c lw 243138
c lw 243168
c lw 243412
c lw 243811
c lw 243841
c lw 244406
c lw 245768
c lw 245889
c lw 245892
c lw 246122
c lw 246497
c lw 246809
c lw 246816
c lw 246817
c lw 246829
c lw 246848
c lw 246853
c lw 246878
c lw 247040
c lw 247161
c lw 247865
c lw 248372
c lw 248439
c lw 248899
c lw 249256
c lw 250028
c lw 250323
c lw 250550
c lw 250661
c lw 250690
c lw 250735
c lw 251550
c lw 251565
c lw 251579
c lw 251580
c lw 251581
c lw 251582
c lw 251583
c lw 251584
c lw 251585
c lw 251586
c lw 251587
c lw 251588
c lw 251589
c lw 251590
c lw 251591
c lw 251592
c lw 251593
c lw 251594
c lw 251595
c lw 251596
c lw 251597
c lw 251598
c lw 251599
c lw 251600
c lw 251601
c lw 251602
c lw 251603
c lw 251604
c lw 251605
c lw 251606
c lw 251607
c lw 251608
c lw 251609