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-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1033
c lw 1131
c lw 1597
c lw 2693
c lw 4312
c lw 5528
c lw 6624
c lw 7474
c lw 8685
c lw 9884
c lw 10511
c lw 11024
c lw 11334
c lw 12353
c lw 13648
c lw 14430
c lw 16022
c lw 16766
c lw 18820
c lw 19726
c lw 20771
c lw 21989
c lw 22376
c lw 23783
c lw 24979
c lw 26245
c lw 26833
c lw 27206
c lw 28046
c lw 28081
c lw 28604
c lw 28977
c lw 29345
c lw 29775
c lw 29902
c lw 30466
c lw 30524
c lw 31735
c lw 31799
c lw 32402
c lw 32945
c lw 32989
c lw 33626
c lw 33848
c lw 33948
c lw 34667
c lw 34756
c lw 34835
c lw 35337
c lw 35552
c lw 35704
c lw 35902
c lw 35985
c lw 36732
c lw 36968
c lw 37298
c lw 37336
c lw 37655
c lw 37659
c lw 38116
c lw 38577
c lw 38847
c lw 38866
c lw 39079
c lw 39683
c lw 40078
c lw 40256
c lw 40288
c lw 40401
c lw 41000
c lw 41015
c lw 41808
c lw 42990
c lw 43657
c lw 43765
c lw 43844
c lw 43881
c lw 43899
c lw 44706
c lw 44712
c lw 44781
c lw 44894
c lw 45409
c lw 45786
c lw 45984
c lw 46983
c lw 47647
c lw 47774
c lw 47791
c lw 47999
c lw 48316
c lw 48549
c lw 48679
c lw 48706
c lw 48836
c lw 48895
c lw 49302
c lw 49861
c lw 49949
c lw 50168
c lw 50612
c lw 50799
c lw 51056
c lw 51933
c lw 52068
c lw 52456
c lw 52621
c lw 52763
c lw 53317
c lw 53440
c lw 53869
c lw 54412
c lw 54809
c lw 55078
c lw 55111
c lw 55769
c lw 55937
c lw 56178
c lw 57048
c lw 57146
c lw 57202
c lw 57246
c lw 57505
c lw 57635
c lw 57897
c lw 58399
c lw 58551
c lw 58749
c lw 58832
c lw 59028
c lw 59231
c lw 59467
c lw 59797
c lw 60233
c lw 60290
c lw 60938
c lw 61112
c lw 61162
c lw 61395
c lw 61599
c lw 61603
c lw 61748
c lw 61764
c lw 62159
c lw 62174
c lw 62631
c lw 62693
c lw 62710
c lw 62723
c lw 62841
c lw 62927
c lw 63097
c lw 63177
c lw 64240
c lw 64482
c lw 65379
c lw 66097
c lw 66152
c lw 66325
c lw 66367
c lw 66744
c lw 66834
c lw 66942
c lw 67008
c lw 67074
c lw 67279
c lw 67991
c lw 68501
c lw 68575
c lw 68632
c lw 69049
c lw 69220
c lw 69338
c lw 69987
c lw 70489
c lw 70718
c lw 70752
c lw 70769
c lw 70936
c lw 71588
c lw 71839
c lw 73027
c lw 73501
c lw 73671
c lw 73674
c lw 74123
c lw 75363
c lw 75517
c lw 75934
c lw 76603
c lw 76988
c lw 77041
c lw 77067
c lw 77078
c lw 77475
c lw 77502
c lw 77550
c lw 77580
c lw 77984
c lw 78011
c lw 78059
c lw 78258
c lw 78277
c lw 78418
c lw 79075
c lw 79211
c lw 79778
c lw 79822
c lw 80149
c lw 80236
c lw 80245
c lw 80337
c lw 81230
c lw 81299
c lw 81506
c lw 81967
c lw 82008
c lw 82622
c lw 82627
c lw 82662
c lw 82699
c lw 83691
c lw 83777
c lw 83988
c lw 84399
c lw 84463
c lw 84648
c lw 84689
c lw 84979
c lw 85567
c lw 85584
c lw 86053
c lw 86118
c lw 86179
c lw 86372
c lw 86411
c lw 87058
c lw 87513
c lw 88070
c lw 88119
c lw 88120
c lw 88171
c lw 88349
c lw 88740
c lw 89323
c lw 89558
c lw 90060
c lw 90122
c lw 90351
c lw 90429
c lw 90563
c lw 90831
c lw 90879
c lw 91081
c lw 91574
c lw 91587
c lw 92022
c lw 92105
c lw 92127
c lw 92344
c lw 92363
c lw 92659
c lw 92901
c lw 92914
c lw 92989
c lw 93412
c lw 93882
c lw 93938
c lw 94011
c lw 94855
c lw 95241
c lw 95576
c lw 96053
c lw 96306
c lw 96918
c lw 97077
c lw 97130
c lw 97168
c lw 97203
c lw 97451
c lw 97846
c lw 98132
c lw 98165
c lw 98238
c lw 98318
c lw 98438
c lw 99044
c lw 99218
c lw 99281
c lw 99625
c lw 99923
c lw 100123
c lw 100276
c lw 100637
c lw 101372
c lw 101672
c lw 101729
c lw 101790
c lw 102045
c lw 102392
c lw 102543
c lw 102571
c lw 103013
c lw 103126
c lw 103543
c lw 103617
c lw 104027
c lw 104141
c lw 104142
c lw 104384
c lw 104877
c lw 105785
c lw 105803
c lw 105836
c lw 105874
c lw 105878
c lw 106058
c lw 106469
c lw 106470
c lw 107035
c lw 107245
c lw 108284
c lw 108644
c lw 108753
c lw 108809
c lw 108900
c lw 108956
c lw 109149
c lw 109172
c lw 109208
c lw 109338
c lw 109709
c lw 110436
c lw 110754
c lw 110775
c lw 110869
c lw 111235
c lw 111252
c lw 111336
c lw 111697
c lw 112183
c lw 112344
c lw 113019
c lw 113187
c lw 113191
c lw 113275
c lw 113332
c lw 113336
c lw 113472
c lw 113557
c lw 114388
c lw 114885
c lw 115258
c lw 115439
c lw 115447
c lw 115476
c lw 115539
c lw 115721
c lw 116176
c lw 116261
c lw 116369
c lw 116478
c lw 116514
c lw 116712
c lw 116821
c lw 116909
c lw 116925
c lw 116944
c lw 117132
c lw 117168
c lw 117240
c lw 117241
c lw 117288
c lw 117325
c lw 117385
c lw 117549
c lw 117676
c lw 117702
c lw 117703
c lw 117738
c lw 117739
c lw 117841
c lw 117899
c lw 117935
c lw 117949
c lw 118207
c lw 118262
c lw 118767
c lw 118903
c lw 118914
c lw 119424
c lw 119815
c lw 120519
c lw 120525
c lw 120581
c lw 121371
c lw 121534
c lw 121575
c lw 121714
c lw 121754
c lw 121794
c lw 121962
c lw 121977
c lw 122088
c lw 122127
c lw 122257
c lw 122600
c lw 122671
c lw 122931
c lw 123035
c lw 123079
c lw 123139
c lw 123250
c lw 124430
c lw 124637
c lw 125092
c lw 125209
c lw 125211
c lw 125632
c lw 125694
c lw 125816
c lw 126030
c lw 126106
c lw 126139
c lw 126157
c lw 126183
c lw 126194
c lw 126210
c lw 126215
c lw 126286
c lw 126585
c lw 126771
c lw 127013
c lw 127047
c lw 127111
c lw 127243
c lw 127420
c lw 127552
c lw 128467
c lw 128728
c lw 128831
c lw 128867
c lw 128903
c lw 129002
c lw 129068
c lw 129362
c lw 129423
c lw 129459
c lw 129494
c lw 129534
c lw 129656
c lw 129658
c lw 130519
c lw 130860
c lw 131724
c lw 131843
c lw 132046
c lw 132226
c lw 132929
c lw 133050
c lw 133111
c lw 133251
c lw 133283
c lw 133570
c lw 134502
c lw 134526
c lw 134549
c lw 135343
c lw 135524
c lw 135617
c lw 135805
c lw 135806
c lw 135841
c lw 136183
c lw 136207
c lw 137480
c lw 138112
c lw 138151
c lw 138195
c lw 138204
c lw 138277
c lw 139096
c lw 139204
c lw 139245
c lw 140102
c lw 140119
c lw 140177
c lw 140482
c lw 140638
c lw 140642
c lw 140877
c lw 141848
c lw 142435
c lw 142614
c lw 142718
c lw 142729
c lw 144272
c lw 144285
c lw 144294
c lw 144330
c lw 144390
c lw 144474
c lw 144657
c lw 144964
c lw 145129
c lw 145169
c lw 146175
c lw 146311
c lw 146336
c lw 146359
c lw 146399
c lw 146409
c lw 146418
c lw 146445
c lw 146563
c lw 146859
c lw 146945
c lw 146998
c lw 147009
c lw 147020
c lw 147082
c lw 147262
c lw 147285
c lw 147566
c lw 147593
c lw 147602
c lw 147612
c lw 147617
c lw 147622
c lw 147627
c lw 147638
c lw 147641
c lw 147654
c lw 147658
c lw 147660
c lw 147661
c lw 147668
c lw 147688
c lw 147693
c lw 147709
c lw 147712
c lw 147716
c lw 147815
c lw 147816
c lw 147818
c lw 147828
c lw 147830
c lw 147835
c lw 147855
c lw 147856
c lw 147859
c lw 147862
c lw 147863
c lw 147872
c lw 147875
c lw 147879
c lw 147936
c lw 148725
c lw 148730
c lw 148759
c lw 148793
c lw 148804
c lw 148882
c lw 148968
c lw 148991
c lw 149022
c lw 149100
c lw 149131
c lw 149154
c lw 149156
c lw 149158
c lw 149159
c lw 149227
c lw 149229
c lw 149248
c lw 149254
c lw 149262
c lw 149274
c lw 149299
c lw 149324
c lw 149329
c lw 149334
c lw 149344
c lw 149349
c lw 149357
c lw 149380
c lw 149381
c lw 149425
c lw 149907
c lw 149940
c lw 149942
c lw 149943
c lw 149946
c lw 149950
c lw 149964
c lw 149970
c lw 149971
c lw 150061
c lw 150128
c lw 150211
c lw 150245
c lw 150333
c lw 150406
c lw 151022
c lw 151111
c lw 151151
c lw 151981
c lw 151985
c lw 152082
c lw 152086
c lw 152317
c lw 152693
c lw 152729
c lw 152737
c lw 152776
c lw 152777
c lw 152809
c lw 152865
c lw 152874
c lw 152878
c lw 153117
c lw 153135
c lw 153137
c lw 153139
c lw 153153
c lw 153157
c lw 153167
c lw 153168
c lw 153172
c lw 153190
c lw 153191
c lw 153204
c lw 153205
c lw 153211
c lw 153215
c lw 153227
c lw 153247
c lw 153253
c lw 153255
c lw 153256
c lw 153262
c lw 153264
c lw 153266
c lw 153267
c lw 153270
c lw 153271
c lw 153273
c lw 153275
c lw 153289
c lw 153304
c lw 153325
c lw 153378
c lw 153380
c lw 153382
c lw 153395
c lw 153396
c lw 153397
c lw 153400
c lw 153402
c lw 153403
c lw 153404
c lw 153405
c lw 153408
c lw 153409
c lw 153787
c lw 153788
c lw 154317
c lw 154371
c lw 154501
c lw 154580
c lw 155347
c lw 155978
c lw 156157
c lw 156163
c lw 156196
c lw 156366
c lw 156375
c lw 157058
c lw 157398
c lw 157898
c lw 157972
c lw 157979
c lw 158169
c lw 158215
c lw 158393
c lw 158436
c lw 158459
c lw 158845
c lw 158860
c lw 159039
c lw 159047
c lw 159200
c lw 159258
c lw 159301
c lw 159373
c lw 159379
c lw 159387
c lw 160357
c lw 160441
c lw 160665
c lw 160753
c lw 160833
c lw 160871
c lw 161057
c lw 161200
c lw 161511
c lw 161571
c lw 161723
c lw 161753
c lw 161791
c lw 161807
c lw 161818
c lw 161833
c lw 161871
c lw 161917
c lw 162853
c lw 163124
c lw 163324
c lw 164359
c lw 164361
c lw 164375
c lw 164470
c lw 164829
c lw 164904
c lw 164917
c lw 164918
c lw 164919
c lw 164920
c lw 164921
c lw 164923
c lw 164925
c lw 164926
c lw 164929
c lw 164935
c lw 164938
c lw 164941
c lw 164945
c lw 164947
c lw 164951
c lw 164952
c lw 164953
c lw 164954
c lw 164962
c lw 164963
c lw 164965
c lw 164973
c lw 164983
c lw 164987
c lw 164991
c lw 164993
c lw 164994
c lw 164995
c lw 164996
c lw 164997
c lw 164998
c lw 164999
c lw 165000
c lw 165001
c lw 165002
c lw 165007
c lw 165008
c lw 165010
c lw 165890
c lw 166228
c lw 166845
c lw 167197
c lw 167242
c lw 168322
c lw 168475
c lw 168511
c lw 168530
c lw 168964
c lw 169100
c lw 170100
c lw 170174
c lw 170394
c lw 170917
c lw 170950
c lw 170967
c lw 171190
c lw 171333
c lw 171441
c lw 171747
c lw 171812
c lw 171957
c lw 172475
c lw 172527
c lw 172534
c lw 172535
c lw 172536
c lw 172537
c lw 172538
c lw 172539
c lw 172540
c lw 172541
c lw 172542
c lw 172543
c lw 172544
c lw 172545
c lw 172546
c lw 172547
c lw 172548
c lw 172549
c lw 172550
c lw 172551
c lw 172552
c lw 172553
c lw 172554
c lw 172555
c lw 172556
c lw 172557
c lw 172558
c lw 172559