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-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1478
c lw 2489
c lw 5085
c lw 6770
c lw 7994
c lw 8737
c lw 10385
c lw 12074
c lw 12717
c lw 13003
c lw 14838
c lw 15304
c lw 15641
c lw 16770
c lw 18487
c lw 18849
c lw 20404
c lw 20413
c lw 20598
c lw 21916
c lw 23401
c lw 25110
c lw 26107
c lw 26444
c lw 28039
c lw 29658
c lw 31097
c lw 32043
c lw 33683
c lw 34980
c lw 35038
c lw 35983
c lw 36284
c lw 36934
c lw 37480
c lw 38756
c lw 39538
c lw 40263
c lw 42291
c lw 42361
c lw 43031
c lw 44144
c lw 44786
c lw 44813
c lw 45474
c lw 46912
c lw 47399
c lw 47647
c lw 47956
c lw 48135
c lw 48717
c lw 48718
c lw 49470
c lw 49850
c lw 50425
c lw 50491
c lw 51291
c lw 51411
c lw 52069
c lw 52109
c lw 52990
c lw 53274
c lw 53398
c lw 53542
c lw 53753
c lw 54301
c lw 54458
c lw 54584
c lw 54632
c lw 55517
c lw 55864
c lw 56516
c lw 56959
c lw 57481
c lw 57565
c lw 58073
c lw 58984
c lw 59317
c lw 59516
c lw 60090
c lw 60143
c lw 60279
c lw 60914
c lw 61735
c lw 61800
c lw 62103
c lw 62259
c lw 62598
c lw 62898
c lw 63801
c lw 64537
c lw 64721
c lw 64844
c lw 65013
c lw 65267
c lw 65335
c lw 65455
c lw 65479
c lw 65944
c lw 65953
c lw 65954
c lw 66214
c lw 66768
c lw 67392
c lw 67654
c lw 67937
c lw 68127
c lw 68689
c lw 68898
c lw 68964
c lw 69898
c lw 69994
c lw 70430
c lw 70618
c lw 71792
c lw 71873
c lw 73034
c lw 73176
c lw 73411
c lw 73780
c lw 74535
c lw 75620
c lw 75699
c lw 75856
c lw 76067
c lw 76483
c lw 77248
c lw 77364
c lw 78224
c lw 78796
c lw 79260
c lw 79494
c lw 80199
c lw 80423
c lw 80799
c lw 80842
c lw 81091
c lw 81393
c lw 81636
c lw 81701
c lw 81722
c lw 82672
c lw 82732
c lw 83136
c lw 83187
c lw 83827
c lw 83877
c lw 84473
c lw 84538
c lw 84618
c lw 84855
c lw 85258
c lw 85529
c lw 85719
c lw 86064
c lw 86159
c lw 86199
c lw 86873
c lw 87480
c lw 87578
c lw 87621
c lw 87942
c lw 88130
c lw 88190
c lw 88408
c lw 88671
c lw 88718
c lw 88904
c lw 89086
c lw 89155
c lw 89567
c lw 89647
c lw 89663
c lw 90565
c lw 91073
c lw 91173
c lw 91897
c lw 91952
c lw 92273
c lw 92326
c lw 92462
c lw 92534
c lw 92987
c lw 93474
c lw 93622
c lw 93678
c lw 93736
c lw 93981
c lw 94137
c lw 94274
c lw 94476
c lw 94776
c lw 94849
c lw 94870
c lw 94983
c lw 95120
c lw 95301
c lw 95658
c lw 95811
c lw 95842
c lw 95965
c lw 96074
c lw 96431
c lw 96449
c lw 96499
c lw 96525
c lw 96619
c lw 96620
c lw 96991
c lw 97070
c lw 97072
c lw 97534
c lw 97616
c lw 97878
c lw 98020
c lw 98028
c lw 98161
c lw 98237
c lw 98278
c lw 98487
c lw 98503
c lw 98519
c lw 98553
c lw 98950
c lw 99151
c lw 99348
c lw 99433
c lw 99461
c lw 99482
c lw 100556
c lw 100593
c lw 101268
c lw 101316
c lw 101333
c lw 101405
c lw 102286
c lw 102297
c lw 102359
c lw 103188
c lw 103570
c lw 104227
c lw 104454
c lw 104469
c lw 104481
c lw 104495
c lw 104895
c lw 105470
c lw 105787
c lw 106216
c lw 106347
c lw 106455
c lw 106477
c lw 106749
c lw 106867
c lw 107024
c lw 107235
c lw 107417
c lw 107453
c lw 108081
c lw 108135
c lw 108179
c lw 108500
c lw 108562
c lw 108713
c lw 108899
c lw 109047
c lw 109187
c lw 109378
c lw 109629
c lw 110039
c lw 110138
c lw 110278
c lw 110558
c lw 110596
c lw 111982
c lw 111996
c lw 112161
c lw 112606
c lw 112727
c lw 112947
c lw 113097
c lw 113142
c lw 113201
c lw 113558
c lw 113618
c lw 113683
c lw 113707
c lw 113840
c lw 114383
c lw 114431
c lw 114604
c lw 114898
c lw 114978
c lw 115371
c lw 115512
c lw 115798
c lw 115891
c lw 116042
c lw 116989
c lw 117085
c lw 117161
c lw 117484
c lw 117581
c lw 117636
c lw 117700
c lw 118419
c lw 118489
c lw 118672
c lw 118862
c lw 118914
c lw 118957
c lw 119269
c lw 119538
c lw 119662
c lw 120159
c lw 120475
c lw 120691
c lw 120789
c lw 121402
c lw 121410
c lw 122369
c lw 122379
c lw 122418
c lw 122811
c lw 123068
c lw 123214
c lw 123222
c lw 123254
c lw 123323
c lw 123986
c lw 124096
c lw 124104
c lw 124711
c lw 124799
c lw 125428
c lw 125446
c lw 126899
c lw 126920
c lw 127241
c lw 127404
c lw 127675
c lw 128120
c lw 128323
c lw 128382
c lw 129046
c lw 129122
c lw 129202
c lw 129584
c lw 129601
c lw 129738
c lw 130355
c lw 130446
c lw 131087
c lw 131363
c lw 131473
c lw 131523
c lw 131704
c lw 132304
c lw 132436
c lw 132577
c lw 132670
c lw 132705
c lw 133975
c lw 135011
c lw 135238
c lw 136094
c lw 136220
c lw 136319
c lw 136403
c lw 136674
c lw 136890
c lw 137004
c lw 137045
c lw 137588
c lw 137969
c lw 138908
c lw 139141
c lw 139298
c lw 139424
c lw 139658
c lw 140329
c lw 140420
c lw 140442
c lw 140697
c lw 140771
c lw 140866
c lw 141009
c lw 141092
c lw 141431
c lw 142051
c lw 142838
c lw 143066
c lw 143152
c lw 143278
c lw 143474
c lw 143655
c lw 143715
c lw 144262
c lw 144463
c lw 144740
c lw 145147
c lw 145373
c lw 145431
c lw 145506
c lw 145598
c lw 146223
c lw 146680
c lw 146891
c lw 146911
c lw 146940
c lw 147105
c lw 147771
c lw 147943
c lw 148044
c lw 148633
c lw 148787
c lw 148917
c lw 149565
c lw 149920
c lw 149952
c lw 149960
c lw 150204
c lw 150383
c lw 150440
c lw 150517
c lw 150590
c lw 150759
c lw 150897
c lw 151193
c lw 152248
c lw 152521
c lw 152790
c lw 152895
c lw 153026
c lw 153288
c lw 153971
c lw 154788
c lw 155057
c lw 155066
c lw 155224
c lw 155456
c lw 155505
c lw 155545
c lw 155595
c lw 155613
c lw 155862
c lw 155898
c lw 155902
c lw 156073
c lw 156205
c lw 156302
c lw 156806
c lw 157167
c lw 157271
c lw 157413
c lw 157845
c lw 158057
c lw 158062
c lw 158094
c lw 158099
c lw 158483
c lw 158541
c lw 158661
c lw 158860
c lw 159030
c lw 159076
c lw 159136
c lw 159162
c lw 159203
c lw 159273
c lw 159469
c lw 159549
c lw 159667
c lw 160172
c lw 160213
c lw 160545
c lw 160575
c lw 160605
c lw 160691
c lw 160926
c lw 161030
c lw 161180
c lw 161435
c lw 161655
c lw 161691
c lw 161888
c lw 161932
c lw 162201
c lw 162325
c lw 162345
c lw 162867
c lw 162905
c lw 162949
c lw 162959
c lw 162961
c lw 163007
c lw 163045
c lw 163051
c lw 163077
c lw 163143
c lw 163563
c lw 163640
c lw 163647
c lw 163648
c lw 163680
c lw 163779
c lw 164081
c lw 164323
c lw 164484
c lw 164843
c lw 165041
c lw 165118
c lw 165626
c lw 165986
c lw 166024
c lw 166118
c lw 166220
c lw 166225
c lw 166237
c lw 166252
c lw 166920
c lw 167045
c lw 167501
c lw 167770
c lw 167821
c lw 167857
c lw 167922
c lw 168307
c lw 168317
c lw 168401
c lw 168644
c lw 168784
c lw 168814
c lw 168938
c lw 168949
c lw 169019
c lw 169195
c lw 169241
c lw 169385
c lw 169679
c lw 169814
c lw 169972
c lw 170129
c lw 170208
c lw 170582
c lw 170868
c lw 171169
c lw 171444
c lw 171538
c lw 171600
c lw 171999
c lw 172146
c lw 172490
c lw 172945
c lw 173190
c lw 173718
c lw 173944
c lw 174004
c lw 174097
c lw 174289
c lw 175274
c lw 175900
c lw 176333
c lw 177195
c lw 177425
c lw 177596
c lw 177694
c lw 177740
c lw 178456
c lw 178543
c lw 178907
c lw 179032
c lw 179294
c lw 179999
c lw 180527
c lw 180539
c lw 181138
c lw 181550
c lw 181579
c lw 181656
c lw 181730
c lw 181834
c lw 182378
c lw 182386
c lw 182746
c lw 182919
c lw 182924
c lw 183628
c lw 183668
c lw 183678
c lw 183690
c lw 183719
c lw 183754
c lw 183760
c lw 183773
c lw 183835
c lw 183876
c lw 183889
c lw 183936
c lw 183943
c lw 183951
c lw 183953
c lw 183961
c lw 184003
c lw 184011
c lw 184018
c lw 184024
c lw 184026
c lw 184029
c lw 184035
c lw 184045
c lw 184053
c lw 184056
c lw 184071
c lw 184081
c lw 184082
c lw 184091
c lw 184095
c lw 184105
c lw 184113
c lw 184132
c lw 184137
c lw 184139
c lw 184786
c lw 184993
c lw 185107
c lw 185162
c lw 185713
c lw 185891
c lw 186261
c lw 186305
c lw 186515
c lw 186525
c lw 187350
c lw 187775
c lw 187812
c lw 187970
c lw 188031
c lw 188207
c lw 188333
c lw 188540
c lw 188654
c lw 188709
c lw 188853
c lw 188939
c lw 188998
c lw 189045
c lw 189084
c lw 189295
c lw 189506
c lw 189555
c lw 189617
c lw 189718
c lw 191032
c lw 191114
c lw 192265
c lw 192837
c lw 192879
c lw 192882
c lw 192932
c lw 192941
c lw 192976
c lw 192978
c lw 193040
c lw 193754
c lw 193940
c lw 193978
c lw 194188
c lw 194542
c lw 194601
c lw 195220
c lw 195556
c lw 195622
c lw 195729
c lw 195913
c lw 196623
c lw 196653
c lw 196898
c lw 196928
c lw 196929
c lw 196976
c lw 196992
c lw 197033
c lw 197202
c lw 197513
c lw 197995
c lw 198016
c lw 198407
c lw 198424
c lw 198434
c lw 198444
c lw 198446
c lw 198809
c lw 198832
c lw 198837
c lw 198848
c lw 199115
c lw 199277
c lw 199477
c lw 199478
c lw 199554
c lw 199862
c lw 199900
c lw 200514
c lw 200847
c lw 200881
c lw 201166
c lw 201325
c lw 201908
c lw 202242
c lw 202568
c lw 202820
c lw 202826
c lw 203074
c lw 203075
c lw 203076
c lw 203091
c lw 203106
c lw 203109
c lw 203112
c lw 203116
c lw 203161
c lw 203290
c lw 203293
c lw 204126
c lw 204136
c lw 204237
c lw 204561
c lw 204658
c lw 204667
c lw 204682
c lw 204760
c lw 204763
c lw 204766
c lw 204812
c lw 204833
c lw 204996
c lw 205098
c lw 205125
c lw 205184
c lw 205186
c lw 205193
c lw 205196
c lw 205199
c lw 205205
c lw 205208
c lw 205210
c lw 205217
c lw 205222
c lw 205225
c lw 205227
c lw 205230
c lw 205234
c lw 205235
c lw 205539
c lw 205568
c lw 205578
c lw 205608
c lw 205625
c lw 205715
c lw 205739
c lw 205753
c lw 205754
c lw 205756
c lw 205832
c lw 205835
c lw 205870
c lw 205939
c lw 205964
c lw 205971
c lw 206072
c lw 206127
c lw 206298
c lw 206303
c lw 206322
c lw 206340
c lw 206577
c lw 206773
c lw 207288
c lw 207449
c lw 207501
c lw 207954
c lw 208616
c lw 208931
c lw 208945
c lw 210573
c lw 210676
c lw 210689
c lw 210706
c lw 210727
c lw 211106
c lw 211109
c lw 211126
c lw 211127
c lw 211130
c lw 211132
c lw 211134
c lw 211145
c lw 211154
c lw 211160
c lw 211170
c lw 211201
c lw 211322
c lw 211418
c lw 211455
c lw 211536
c lw 211559
c lw 211806
c lw 212275
c lw 212405
c lw 212423
c lw 212437
c lw 212535
c lw 213388
c lw 213422
c lw 213506
c lw 213605
c lw 213734
c lw 213824
c lw 213879
c lw 213897
c lw 213904
c lw 213950
c lw 214320
c lw 214368
c lw 214372
c lw 214374
c lw 214377
c lw 214388
c lw 214390
c lw 214393
c lw 214400
c lw 214402
c lw 214409
c lw 214410
c lw 214412
c lw 214680
c lw 214787
c lw 214814
c lw 214824
c lw 214851
c lw 215144
c lw 215672
c lw 215893
c lw 216421
c lw 216469
c lw 216488
c lw 216508
c lw 216588
c lw 217417
c lw 217578
c lw 217638
c lw 217911
c lw 217914
c lw 217935
c lw 218015
c lw 218025
c lw 218135
c lw 218399
c lw 218400
c lw 218402
c lw 218403
c lw 218404
c lw 218405
c lw 218406
c lw 218407
c lw 218410
c lw 218414
c lw 218428
c lw 218433
c lw 218434
c lw 218440
c lw 218441
c lw 218620
c lw 218634
c lw 218713
c lw 218727
c lw 218821
c lw 218828
c lw 218846
c lw 218848
c lw 218911
c lw 218955
c lw 218969
c lw 219018
c lw 219035
c lw 219045
c lw 219048
c lw 219062
c lw 219066
c lw 219089
c lw 219099
c lw 219103
c lw 219113
c lw 219116
c lw 219129
c lw 219148
c lw 219156
c lw 219176
c lw 219207
c lw 219231
c lw 219459
c lw 220470
c lw 220689
c lw 220780
c lw 220983
c lw 221091
c lw 221192
c lw 221231
c lw 221325
c lw 221630
c lw 221850
c lw 221933
c lw 222299
c lw 222599
c lw 222602
c lw 222763
c lw 222962
c lw 223361
c lw 223491
c lw 223781
c lw 224298
c lw 224628
c lw 224690
c lw 225732
c lw 226019
c lw 226119
c lw 226129
c lw 226492
c lw 226701
c lw 227115
c lw 227660
c lw 227696
c lw 227929
c lw 227938
c lw 228790
c lw 229609
c lw 229616
c lw 229793
c lw 229993
c lw 230127
c lw 231192
c lw 231194
c lw 231352
c lw 231363
c lw 231427
c lw 231429
c lw 231437
c lw 231444
c lw 231446
c lw 231474
c lw 231930
c lw 231957
c lw 231967
c lw 231988
c lw 232282
c lw 232541
c lw 232615
c lw 232625
c lw 232647
c lw 233163
c lw 233254
c lw 233270
c lw 233318
c lw 233491
c lw 233606
c lw 233977
c lw 234442
c lw 234581
c lw 234639
c lw 234858
c lw 234888
c lw 234895
c lw 234896
c lw 234955
c lw 235058
c lw 235075
c lw 235430
c lw 235433
c lw 235775
c lw 236228
c lw 236258
c lw 236338
c lw 236348
c lw 236352
c lw 236367
c lw 236509
c lw 236513
c lw 236548
c lw 236564
c lw 236588
c lw 236608
c lw 236775
c lw 237414
c lw 237605
c lw 238732
c lw 238964
c lw 239223
c lw 239366
c lw 239445
c lw 239657
c lw 239923
c lw 240129
c lw 240254
c lw 240256
c lw 240264
c lw 240451
c lw 240459
c lw 240493
c lw 240540
c lw 241455
c lw 241569
c lw 242000
c lw 242084
c lw 242372
c lw 242402
c lw 242982
c lw 242984
c lw 244513
c lw 244682
c lw 244959
c lw 245066
c lw 245266
c lw 245398
c lw 246224
c lw 247065
c lw 247183
c lw 247302
c lw 247464
c lw 247504
c lw 248701
c lw 248806
c lw 248860
c lw 249534
c lw 249558
c lw 249942
c lw 250069
c lw 250096
c lw 250115
c lw 250123
c lw 250859
c lw 250933
c lw 251774
c lw 251792
c lw 251892
c lw 252472
c lw 252875
c lw 252877
c lw 252879
c lw 252880
c lw 252882
c lw 252889
c lw 252891
c lw 252897
c lw 252899
c lw 252900
c lw 252902
c lw 252911
c lw 252912
c lw 252913
c lw 252916
c lw 252917
c lw 252927
c lw 252934
c lw 252936
c lw 252944
c lw 252954
c lw 252955
c lw 252972
c lw 253021
c lw 253030
c lw 253035
c lw 253037
c lw 253043
c lw 254368
c lw 255506
c lw 255628
c lw 256012
c lw 256020
c lw 256187
c lw 256266
c lw 256388
c lw 257337
c lw 257397
c lw 257455
c lw 258828
c lw 259211
c lw 259267
c lw 259330
c lw 259426
c lw 259746
c lw 259909
c lw 259989
c lw 260020
c lw 260057
c lw 260059
c lw 260096
c lw 260975
c lw 262159
c lw 262331
c lw 262453
c lw 262540
c lw 262727
c lw 262827
c lw 263014
c lw 263023
c lw 263101
c lw 263113
c lw 263297
c lw 263310
c lw 263365
c lw 263378
c lw 263529
c lw 263562
c lw 263574
c lw 263587
c lw 263604
c lw 263695
c lw 263704
c lw 263706
v -1 -2 3 -4 -5 -6 7 -8 -9 -10 11 -12 -13 14 -15 16 -17 18 -19 -20 21 -22 -23 -24 -25 -26 27 -28 29 -30 -31 -32 -33 34 -35 36 -37 -38 39 -40 -41 -42 43 44 -45 -46 -47 48 -49 -50 51 52 -53 -54 55 -56 -57 58 -59 -60 61 -62 63 -64 -65 -66 -67 -68 -69 70 -71 -72 -73 74 -75 -76 77 78 -79 -80 81 -82 83 -84 -85 -86 -87 88 89 -90 -91 -92 93 -94 95 -96 97 -98 -99 100 101 -102 -103 104 -105 -106 107 -108 -109 110 111 -112 -113 -114 -115 -116 -117 118 -119 120 -121 -122 123 -124 -125 -126 -127 128 -129 -130 -131 132 -133 134 -135 -136 137 -138 -139 -140 -141 142 -143 -144 -145 -146 147 -148 149 -150 -151 -152 -153 154 -155 156 -157 -158 -159 -160 161 -162 -163 164 -165 -166 167 -168 169 -170 -171 -172 -173 -174 175 -176 177 -178 179 -180 181 -182 -183 184 185 -186 -187 -188 -189 190 -191 192 -193 -194 195 -196 -197 -198 -199 200 -201 -202 -203 204 -205 206 -207 -208 209 -210 -211 212 -213 -214 215 -216 -217 -218 219 220 -221 -222 -223 -224 225 226 -227 -228 229 -230 231 -232 -233 -234 235 -236 237 -238 239 240 -241 242 -243 -244 -245 246 -247 -248 -249 -250 251 -252 253 -254 -255 256 -257 -258 259 -260 -261 262 -263 264 -265 -266 267 268 -269 -270 271 -272 273 -274 -275 276 -277 278 -279 280 -281 282 -283 -284 285 -286 287 -288 -289 290 -291 -292 293 -294 -295 296 297 -298 -299 300 -301 302 -303 -304 -305 306 -307 -308 309 -310 -311 -312 -313 314 -315 316 -317 -318 319 -320 -321 322 -323 -324 -325 -326 -327 328 329 -330 331 -332 -333 334 -335 -336 -337 -338 339 340 -341 342 -343 -344 345 -346 -347 -348 349 -350 -351 -352 -353 354 355 -356 -357 358 -359 -360 -361 -362 363 -364 -365 366 -367 -368 369 -370 -371 372 -373 -374 375 -376 -377 -378 -379 380 -381 -382 383 384 -385 -386 -387 -388 389 -390 -391 392 -393 -394 395 -396 397 -398 -399 400 401 -402 -403 -404 -405 -406 407 -408 -409 -410 411 412 -413 414 -415 -416 417 418 -419 -420 -421 422 -423 -424 425 -426 -427 -428 429 -430 431 -432 -433 -434 435 -436 -437 -438 -439 440 441 -442 -443 -444 445 -446 447 -448 449 -450 -451 -452 453 -454 455 -456 -457 -458 -459 460 -461 -462 -463 464 -465 -466 467 -468 -469 -470 471 472 -473 -474 -475 476 477 -478 -479 -480 -481 482 -483 484 -485 486 -487 -488 -489 -490 491 -492 -493 494 -495 -496 -497 -498 499 500 -501 -502 -503 -504 505 506 -507 -508 -509 510 -511 -512 -513 -514 515 -516 -517 -518 -519 520 -521 -522 -523 524 -525 -526 527 -528 -529 530 -531 532 -533 -534 535 536 -537 538 -539 -540 -541 542 -543 -544 -545 546 -547 548 -549 -550 -551 -552 553 554 -555 -556 -557 558 -559 -560 -561 -562 563 -564 -565 -566 -567 568 569 -570 -571 572 573 -574 -575 -576 577 578 -579 -580 -581 582 -583 -584 -585 -586 587 588 -589 -590 -591 -592 -593 594 595 -596 -597 598 -599 -600 601 -602 -603 -604 605 606 -607 -608 609 -610 -611 -612 613 -614 615 -616 -617 -618 619 620 -621 -622 -623 -624 625 -626 627 -628 -629 -630 631 632 -633 -634 -635 -636 637 -638 -639 640 641 -642 -643 644 -645 -646 -647 648 -649 -650 -651 652 -653 654 -655 -656 657 -658 659 -660 -661 662 -663 -664 -665 666 -667 668 -669 -670 -671 672 673 -674 -675 -676 677 -678 -679 -680 681 -682 -683 -684 -685 686 -687 -688 -689 690 -691 692 -693 -694 695 -696 -697 -698 -699 700 -701 -702 703 -704 -705 706 -707 -708 709 710 -711 -712 
o 263706
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-2.net.wcnf 263706
431.989u 5.600s 7:18.48 99.7%	0+0k 0+0io 0pf+0w