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-220-1_network-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 931
c lw 1833
c lw 2776
c lw 3641
c lw 4668
c lw 5318
c lw 6207
c lw 7173
c lw 8180
c lw 8665
c lw 9257
c lw 9309
c lw 10136
c lw 11956
c lw 12639
c lw 13328
c lw 14457
c lw 15730
c lw 16610
c lw 17633
c lw 18607
c lw 19639
c lw 21187
c lw 22506
c lw 23640
c lw 24846
c lw 24868
c lw 25563
c lw 27128
c lw 27637
c lw 28877
c lw 29332
c lw 29590
c lw 30801
c lw 30831
c lw 31659
c lw 33108
c lw 33541
c lw 34296
c lw 35606
c lw 37365
c lw 38524
c lw 39786
c lw 39858
c lw 40598
c lw 40681
c lw 40728
c lw 42044
c lw 42261
c lw 42929
c lw 42987
c lw 43714
c lw 44496
c lw 44714
c lw 45095
c lw 45394
c lw 45572
c lw 45725
c lw 46007
c lw 46511
c lw 46645
c lw 47505
c lw 47950
c lw 48046
c lw 48254
c lw 48946
c lw 48960
c lw 49756
c lw 50247
c lw 50591
c lw 51290
c lw 51358
c lw 52252
c lw 52543
c lw 52576
c lw 52967
c lw 53340
c lw 53592
c lw 53870
c lw 54324
c lw 54559
c lw 54880
c lw 55131
c lw 55453
c lw 55683
c lw 55794
c lw 56139
c lw 56641
c lw 57045
c lw 57354
c lw 58224
c lw 58409
c lw 59460
c lw 59817
c lw 59964
c lw 60221
c lw 60312
c lw 60975
c lw 61195
c lw 61852
c lw 62313
c lw 62559
c lw 63152
c lw 63191
c lw 63674
c lw 64822
c lw 64843
c lw 64851
c lw 64937
c lw 64945
c lw 65442
c lw 65489
c lw 65749
c lw 66124
c lw 66216
c lw 66527
c lw 66817
c lw 67283
c lw 67468
c lw 67799
c lw 67904
c lw 68120
c lw 68363
c lw 68417
c lw 69107
c lw 69141
c lw 69514
c lw 69516
c lw 69850
c lw 69992
c lw 70755
c lw 71475
c lw 71512
c lw 71718
c lw 72612
c lw 72674
c lw 72746
c lw 72787
c lw 73007
c lw 73120
c lw 74274
c lw 74307
c lw 75061
c lw 75098
c lw 75398
c lw 75472
c lw 75690
c lw 76250
c lw 76384
c lw 77178
c lw 77408
c lw 77447
c lw 77680
c lw 77919
c lw 78253
c lw 78364
c lw 78391
c lw 78762
c lw 78786
c lw 78936
c lw 79274
c lw 79372
c lw 79901
c lw 80087
c lw 80673
c lw 80867
c lw 82257
c lw 82266
c lw 82452
c lw 83452
c lw 83466
c lw 83642
c lw 83666
c lw 83798
c lw 84106
c lw 85645
c lw 85758
c lw 86581
c lw 87064
c lw 88163
c lw 88311
c lw 88373
c lw 88414
c lw 88658
c lw 88931
c lw 89199
c lw 89600
c lw 90043
c lw 90140
c lw 90193
c lw 90274
c lw 90471
c lw 90629
c lw 90692
c lw 90864
c lw 91185
c lw 91436
c lw 91758
c lw 92226
c lw 92337
c lw 92748
c lw 92860
c lw 93323
c lw 93362
c lw 93592
c lw 93833
c lw 94072
c lw 94738
c lw 95097
c lw 95330
c lw 95787
c lw 96167
c lw 96418
c lw 97756
c lw 98011
c lw 98537
c lw 98704
c lw 99030
c lw 99316
c lw 99430
c lw 100158
c lw 100412
c lw 100860
c lw 101018
c lw 101370
c lw 101668
c lw 101747
c lw 101862
c lw 101878
c lw 101906
c lw 101930
c lw 101994
c lw 102581
c lw 102609
c lw 102643
c lw 103722
c lw 104545
c lw 104552
c lw 104556
c lw 104586
c lw 104667
c lw 104899
c lw 104952
c lw 104989
c lw 105136
c lw 105393
c lw 105410
c lw 105837
c lw 106274
c lw 106935
c lw 107504
c lw 107743
c lw 108069
c lw 108148
c lw 108759
c lw 108903
c lw 109322
c lw 109482
c lw 109506
c lw 109518
c lw 109565
c lw 109595
c lw 109961
c lw 110073
c lw 110354
c lw 110372
c lw 110869
c lw 110916
c lw 111176
c lw 111268
c lw 111579
c lw 111597
c lw 111973
c lw 112257
c lw 112304
c lw 112483
c lw 112491
c lw 112496
c lw 112547
c lw 112623
c lw 113146
c lw 113266
c lw 113274
c lw 113275
c lw 113395
c lw 113581
c lw 113757
c lw 114534
c lw 114909
c lw 114989
c lw 115197
c lw 115292
c lw 115476
c lw 115522
c lw 115769
c lw 116410
c lw 116502
c lw 117279
c lw 117290
c lw 117355
c lw 117472
c lw 117507
c lw 118463
c lw 118561
c lw 118784
c lw 119218
c lw 119244
c lw 119816
c lw 120013
c lw 120065
c lw 121197
c lw 121198
c lw 121317
c lw 121583
c lw 121651
c lw 121715
c lw 121979
c lw 121992
c lw 122031
c lw 122616
c lw 122781
c lw 122801
c lw 122809
c lw 122816
c lw 123243
c lw 123360
c lw 123412
c lw 123720
c lw 123876
c lw 123879
c lw 123894
c lw 123908
c lw 124752
c lw 124770
c lw 124806
c lw 125282
c lw 125488
c lw 126900
c lw 126980
c lw 127041
c lw 127204
c lw 127255
c lw 127469
c lw 127601
c lw 127742
c lw 127752
c lw 127829
c lw 127837
c lw 127853
c lw 127856
c lw 127889
c lw 128037
c lw 128206
c lw 128213
c lw 128261
c lw 128850
c lw 129170
c lw 129557
c lw 129592
c lw 129661
c lw 129877
c lw 130005
c lw 130211
c lw 130335
c lw 130493
c lw 131114
c lw 131328
c lw 131603
c lw 131683
c lw 131896
c lw 131913
c lw 131993
c lw 132041
c lw 132161
c lw 132487
c lw 132571
c lw 132807
c lw 132844
c lw 132920
c lw 132961
c lw 132985
c lw 133013
c lw 133017
c lw 133023
c lw 133051
c lw 133301
c lw 133356
c lw 134811
c lw 134967
c lw 134974
c lw 134997
c lw 135114
c lw 135463
c lw 135819
c lw 135877
c lw 137035
c lw 137277
c lw 137619
c lw 138346
c lw 138418
c lw 139361
c lw 139418
c lw 139569
c lw 139732
c lw 140306
c lw 140497
c lw 141325
c lw 141563
c lw 141836
c lw 141854
c lw 141971
c lw 141985
c lw 142038
c lw 142557
c lw 142933
c lw 143151
c lw 143344
c lw 143941
c lw 144226
c lw 144297
c lw 144362
c lw 144393
c lw 144649
c lw 144787
c lw 145160
c lw 145339
c lw 145424
c lw 145611
c lw 145713
c lw 145858
c lw 145862
c lw 146372
c lw 146929
c lw 146956
c lw 147387
c lw 147506
c lw 147716
c lw 147837
c lw 147899
c lw 148299
c lw 148658
c lw 148685
c lw 148900
c lw 149395
c lw 150063
c lw 150113
c lw 150532
c lw 150720
c lw 151082
c lw 151614
c lw 151616
c lw 151621
c lw 151644
c lw 151648
c lw 151691
c lw 151736
c lw 152434
c lw 152605
c lw 152850
c lw 152878
c lw 153992
c lw 154000
c lw 154189
c lw 154305
c lw 154378
c lw 154436
c lw 154494
c lw 154721
c lw 155337
c lw 155516
c lw 155524
c lw 155726
c lw 155816
c lw 155946
c lw 155981
c lw 156008
c lw 156380
c lw 156381
c lw 156401
c lw 156572
c lw 157125
c lw 157239
c lw 157258
c lw 157401
c lw 157459
c lw 158873
c lw 158974
c lw 159157
c lw 159215
c lw 159679
c lw 159682
c lw 159793
c lw 159807
c lw 159827
c lw 159934
c lw 159947
c lw 159971
c lw 159989
c lw 160731
c lw 160830
c lw 160940
c lw 161750
c lw 161886
c lw 161898
c lw 162165
c lw 162402
c lw 162411
c lw 162466
c lw 162609
c lw 162787
c lw 163310
c lw 164121
c lw 164190
c lw 164657
c lw 164990
c lw 164991
c lw 165017
c lw 165281
c lw 165330
c lw 165509
c lw 165722
c lw 165861
c lw 165864
c lw 165981
c lw 166391
c lw 167375
c lw 167529
c lw 167586
c lw 167930
c lw 167944
c lw 167977
c lw 168148
c lw 168477
c lw 168977
c lw 169225
c lw 169285
c lw 169346
c lw 169358
c lw 169476
c lw 169519
c lw 169685
c lw 169888
c lw 170388
c lw 170404
c lw 170416
c lw 170440
c lw 170465
c lw 170492
c lw 170625
c lw 170686
c lw 170719
c lw 170875
c lw 171110
c lw 171723
c lw 171788
c lw 171889
c lw 171924
c lw 172003
c lw 172060
c lw 172122
c lw 172273
c lw 172424
c lw 172439
c lw 172486
c lw 172507
c lw 172522
c lw 172543
c lw 172604
c lw 172618
c lw 172647
c lw 173331
c lw 173389
c lw 173404
c lw 173427
c lw 173468
c lw 173729
c lw 174165
c lw 174259
c lw 174423
c lw 174557
c lw 175601
c lw 175607
c lw 175621
c lw 175648
c lw 175697
c lw 176564
c lw 176605
c lw 176712
c lw 176723
c lw 176860
c lw 177230
c lw 177275
c lw 177299
c lw 177499
c lw 177527
c lw 177562
c lw 177729
c lw 177749
c lw 177752
c lw 177767
c lw 177769
c lw 177773
c lw 177783
c lw 177786
c lw 177813
c lw 177863
c lw 177871
c lw 177891
c lw 177901
c lw 177917
c lw 177952
c lw 178063
c lw 178116
c lw 178136
c lw 178187
c lw 178436
c lw 178851
c lw 178862
c lw 179298
c lw 180019
c lw 180059
c lw 180160
c lw 180211
c lw 180252
c lw 180398
c lw 180424
c lw 180458
c lw 180478
c lw 181519
c lw 181967
c lw 182404
c lw 182406
c lw 182411
c lw 182438
c lw 182472
c lw 182578
c lw 182610
c lw 182620
c lw 182668
c lw 182700
c lw 182716
c lw 182743
c lw 182751
c lw 183134
c lw 183768
c lw 183769
c lw 183813
c lw 183836
c lw 183843
c lw 183862
c lw 183961
c lw 184420
c lw 184472
c lw 184501
c lw 184525
c lw 184530
c lw 184534
c lw 184542
c lw 184545
c lw 184560
c lw 184563
c lw 184565
c lw 184573
c lw 184575
c lw 184579
c lw 184582
c lw 184597
c lw 184600
c lw 184662
c lw 184744
c lw 185425
c lw 185464
c lw 185784
c lw 185902
c lw 186391
c lw 186418
c lw 186457
c lw 186460
c lw 186463
c lw 187097
c lw 187298
c lw 187318
c lw 187438
c lw 187440
c lw 187441
c lw 187459
c lw 187461
c lw 187463
c lw 187466
c lw 187470
c lw 187482
c lw 187484
c lw 187487
c lw 187490
c lw 187625
c lw 187738
c lw 187810
c lw 187813
c lw 187962
c lw 187966
c lw 187992
c lw 188287
c lw 188492
c lw 188493
c lw 188503
c lw 188513
c lw 188521
c lw 189097
c lw 189429
c lw 189735
c lw 190214
c lw 190291
c lw 190423
c lw 190582
c lw 190763
c lw 190896
c lw 191092
c lw 191123
c lw 191136
c lw 191236
c lw 192209
c lw 192426
c lw 192831
c lw 193006
c lw 193134
c lw 193243
c lw 193272
c lw 194132
c lw 194468
c lw 194619
c lw 194709
c lw 194752
c lw 195579
c lw 195582
c lw 195644
c lw 196552
c lw 196967
c lw 197298
c lw 197998
c lw 198026
c lw 198084
c lw 198172
c lw 198264
c lw 198289
c lw 198294
c lw 198297
c lw 198321
c lw 198355
c lw 198391
c lw 198410
c lw 198417
c lw 198440
c lw 198521
c lw 198526
c lw 198711
c lw 199382
c lw 199481
c lw 199850
c lw 199853
c lw 200377
c lw 200686
c lw 200698
c lw 200828
c lw 200987
c lw 200996
c lw 201742
c lw 202238
c lw 202374
c lw 202386
c lw 203295
c lw 203307
c lw 203595
c lw 203625
c lw 203842
c lw 203856
c lw 203857
c lw 203869
c lw 203871
c lw 203872
c lw 203875
c lw 203877
c lw 203883
c lw 204096
c lw 204114
c lw 204131
c lw 204134
c lw 204147
c lw 204148
c lw 204149
c lw 204150
c lw 204151
c lw 204153
c lw 204158
c lw 204162
c lw 204168
c lw 204174
c lw 204200
c lw 204204
c lw 204205
c lw 204206
c lw 204209
c lw 204211
c lw 204212
c lw 204214
c lw 204218
c lw 204223
c lw 204224
c lw 204225
c lw 204226
c lw 204230
c lw 204231
c lw 204232
c lw 204236
c lw 204237
c lw 204241
c lw 204253
c lw 204254
c lw 204283
c lw 204350
c lw 204359
c lw 204365
c lw 204368
c lw 204383
c lw 204398
c lw 204405
c lw 205466
c lw 205467
c lw 205482
c lw 205506
c lw 205516
c lw 205559
c lw 205576
c lw 205577
c lw 205591
c lw 205599
c lw 205617
c lw 205762
c lw 205807
c lw 206004
c lw 206162
c lw 206756
c lw 206758
c lw 207201
c lw 207240
c lw 207518
c lw 208588
c lw 208668
c lw 208960
c lw 209460
c lw 209473
c lw 209476
c lw 209478
c lw 209479
c lw 209826
c lw 210257
c lw 210377
c lw 210396
c lw 210872
c lw 211112
c lw 211659
c lw 211667
c lw 211724
c lw 212647
c lw 212680
c lw 212875
c lw 212877
c lw 212884
c lw 212885
c lw 212886
c lw 212887
c lw 212890
c lw 212892
c lw 212893
c lw 212894
c lw 212897
c lw 212898
c lw 212899
c lw 212901
c lw 212915
c lw 212916
c lw 212919
c lw 212922
c lw 212923
c lw 212928
c lw 212929
c lw 212930
c lw 212972
c lw 212973
c lw 212974
c lw 212975
c lw 212976
c lw 212977
c lw 212978
c lw 212979
c lw 212980
c lw 212981
c lw 212982
c lw 212983
c lw 212984
c lw 212985
c lw 212986
c lw 212987
c lw 212988
c lw 212989
c lw 213163
c lw 213172
c lw 213174
c lw 213175
c lw 213176
c lw 213448
c lw 214025
c lw 214121
c lw 214650
c lw 214796
c lw 214844
c lw 214892
c lw 215037
c lw 215072
c lw 215412
c lw 215421
c lw 215426
c lw 215431
c lw 215454
c lw 215456
c lw 215601
c lw 215824
c lw 216148
c lw 216151
c lw 216154
c lw 216162
c lw 216163
c lw 216175
c lw 216198
c lw 216204
c lw 216208
c lw 216209
c lw 216213
c lw 216219
c lw 216223
c lw 216224
c lw 216225
c lw 216226
c lw 216228
c lw 216229
c lw 216230
c lw 216231
c lw 216232
c lw 216233
c lw 216234
c lw 216235
c lw 216237
c lw 216238
c lw 216239
c lw 216247
c lw 216249
c lw 216250
c lw 216251
c lw 216252
c lw 216253
c lw 216254
c lw 216255
c lw 216256
c lw 216257