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-240-1_network-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 138
c lw 1723
c lw 3339
c lw 4875
c lw 6366
c lw 7609
c lw 8810
c lw 9788
c lw 12316
c lw 13597
c lw 14938
c lw 15143
c lw 15525
c lw 16660
c lw 17094
c lw 18037
c lw 20104
c lw 21474
c lw 22738
c lw 23602
c lw 23961
c lw 25155
c lw 25973
c lw 26617
c lw 26937
c lw 28134
c lw 28138
c lw 28241
c lw 28299
c lw 29498
c lw 30070
c lw 30426
c lw 30717
c lw 31778
c lw 32403
c lw 33787
c lw 34819
c lw 35233
c lw 35529
c lw 35724
c lw 36103
c lw 36852
c lw 37087
c lw 37487
c lw 37657
c lw 37684
c lw 38366
c lw 39083
c lw 39320
c lw 39424
c lw 39816
c lw 40128
c lw 40144
c lw 40407
c lw 40455
c lw 40457
c lw 40553
c lw 41467
c lw 41655
c lw 41769
c lw 42197
c lw 43126
c lw 43291
c lw 43774
c lw 44242
c lw 44580
c lw 45675
c lw 45703
c lw 46177
c lw 47138
c lw 47415
c lw 47590
c lw 48752
c lw 48860
c lw 49625
c lw 50088
c lw 50754
c lw 51500
c lw 51563
c lw 51894
c lw 52347
c lw 52661
c lw 52883
c lw 52965
c lw 53489
c lw 53522
c lw 54056
c lw 54784
c lw 55004
c lw 55524
c lw 55929
c lw 56850
c lw 56858
c lw 57001
c lw 57082
c lw 57156
c lw 57935
c lw 58665
c lw 58837
c lw 58917
c lw 59034
c lw 59448
c lw 60168
c lw 60502
c lw 60556
c lw 60567
c lw 60841
c lw 60880
c lw 61953
c lw 62455
c lw 62562
c lw 62663
c lw 62858
c lw 62869
c lw 63222
c lw 63413
c lw 64010
c lw 64230
c lw 64523
c lw 64602
c lw 65339
c lw 65510
c lw 66032
c lw 67230
c lw 67452
c lw 67504
c lw 67690
c lw 67852
c lw 67853
c lw 68179
c lw 68550
c lw 68634
c lw 68783
c lw 68971
c lw 69085
c lw 69366
c lw 70042
c lw 70295
c lw 70406
c lw 70455
c lw 70541
c lw 70862
c lw 70912
c lw 71173
c lw 72254
c lw 72283
c lw 72560
c lw 72735
c lw 73034
c lw 73128
c lw 73149
c lw 73186
c lw 73187
c lw 73208
c lw 74339
c lw 74390
c lw 74533
c lw 74683
c lw 74910
c lw 74937
c lw 75136
c lw 75396
c lw 75476
c lw 76011
c lw 76059
c lw 76154
c lw 76315
c lw 76430
c lw 76628
c lw 77563
c lw 77788
c lw 78434
c lw 79157
c lw 79177
c lw 79635
c lw 79671
c lw 79752
c lw 79826
c lw 79880
c lw 80061
c lw 80233
c lw 80313
c lw 80504
c lw 80722
c lw 80739
c lw 81132
c lw 81211
c lw 81322
c lw 81597
c lw 82558
c lw 82592
c lw 82771
c lw 83071
c lw 83097
c lw 83246
c lw 83393
c lw 83490
c lw 83703
c lw 83717
c lw 84144
c lw 84188
c lw 84280
c lw 84349
c lw 85342
c lw 86108
c lw 86242
c lw 86288
c lw 86531
c lw 86618
c lw 87691
c lw 87775
c lw 88221
c lw 88640
c lw 89009
c lw 89072
c lw 89299
c lw 89313
c lw 90308
c lw 90353
c lw 90445
c lw 90841
c lw 91042
c lw 91049
c lw 91073
c lw 92235
c lw 92248
c lw 92356
c lw 92589
c lw 92890
c lw 93144
c lw 93207
c lw 93393
c lw 93976
c lw 94430
c lw 94616
c lw 95014
c lw 95120
c lw 95485
c lw 95786
c lw 95815
c lw 95947
c lw 96156
c lw 96351
c lw 96385
c lw 96420
c lw 96587
c lw 96857
c lw 97082
c lw 97843
c lw 97848
c lw 97954
c lw 97975
c lw 98034
c lw 98089
c lw 98108
c lw 98247
c lw 98254
c lw 98261
c lw 98291
c lw 98527
c lw 98718
c lw 98727
c lw 98749
c lw 98819
c lw 98824
c lw 99061
c lw 99217
c lw 99253
c lw 99527
c lw 99619
c lw 100153
c lw 100239
c lw 100293
c lw 100581
c lw 100628
c lw 100683
c lw 100908
c lw 101179
c lw 102132
c lw 102264
c lw 102408
c lw 102409
c lw 103721
c lw 103869
c lw 104034
c lw 104081
c lw 104178
c lw 104669
c lw 105144
c lw 105265
c lw 105266
c lw 105278
c lw 106268
c lw 106723
c lw 107221
c lw 107294
c lw 107359
c lw 107487
c lw 108577
c lw 108896
c lw 109977
c lw 110009
c lw 110091
c lw 110420
c lw 110461
c lw 111732
c lw 111848
c lw 111852
c lw 111884
c lw 111952
c lw 112122
c lw 112225
c lw 112252
c lw 112431
c lw 112434
c lw 113157
c lw 113510
c lw 113797
c lw 114128
c lw 114603
c lw 114681
c lw 114763
c lw 115059
c lw 115091
c lw 115115
c lw 115583
c lw 115662
c lw 115670
c lw 115725
c lw 116168
c lw 116723
c lw 116825
c lw 116975
c lw 116996
c lw 117187
c lw 117476
c lw 117739
c lw 117742
c lw 117967
c lw 118429
c lw 119111
c lw 119735
c lw 120433
c lw 120841
c lw 121146
c lw 121546
c lw 121848
c lw 121916
c lw 121954
c lw 122499
c lw 122509
c lw 122610
c lw 123587
c lw 124264
c lw 124573
c lw 125236
c lw 125403
c lw 125431
c lw 125456
c lw 126112
c lw 126170
c lw 126326
c lw 126384
c lw 127105
c lw 127175
c lw 127203
c lw 127367
c lw 127643
c lw 128171
c lw 128214
c lw 128224
c lw 128241
c lw 128263
c lw 128280
c lw 128321
c lw 128457
c lw 129306
c lw 129526
c lw 129774
c lw 129788
c lw 129816
c lw 130125
c lw 130588
c lw 130591
c lw 130651
c lw 130911
c lw 131278
c lw 132000
c lw 132005
c lw 132121
c lw 132439
c lw 132563
c lw 132620
c lw 133542
c lw 133586
c lw 133884
c lw 133908
c lw 134486
c lw 134722
c lw 134785
c lw 134794
c lw 134874
c lw 135832
c lw 136011
c lw 136311
c lw 136325
c lw 136471
c lw 136520
c lw 136535
c lw 136538
c lw 136558
c lw 136627
c lw 136646
c lw 136654
c lw 136678
c lw 136686
c lw 136713
c lw 137043
c lw 137243
c lw 137949
c lw 138081
c lw 139067
c lw 139388
c lw 140079
c lw 140389
c lw 141066
c lw 141436
c lw 141471
c lw 141917
c lw 142154
c lw 142156
c lw 142161
c lw 142162
c lw 142171
c lw 142173
c lw 142176
c lw 142191
c lw 142204
c lw 142223
c lw 142226
c lw 142229
c lw 142246
c lw 142248
c lw 142300
c lw 142390
c lw 142869
c lw 142975
c lw 143090
c lw 143130
c lw 143319
c lw 143335
c lw 144419
c lw 144467
c lw 144721
c lw 144882
c lw 144885
c lw 144888
c lw 144889
c lw 144904
c lw 144908
c lw 144917
c lw 144918
c lw 144923
c lw 144930
c lw 144933
c lw 144964
c lw 145015
c lw 145165
c lw 145476
c lw 145625
c lw 145736
c lw 146236
c lw 147085
c lw 147691
c lw 147854
c lw 147904
c lw 147925
c lw 148001
c lw 148157
c lw 148274
c lw 148327
c lw 148405
c lw 148915
c lw 148928
c lw 148941
c lw 148962
c lw 148988
c lw 148992
c lw 149001
c lw 149005
c lw 149189
c lw 149198
c lw 149791
c lw 150021
c lw 150226
c lw 150357
c lw 150500
c lw 150501
c lw 150916
c lw 150930
c lw 150992
c lw 151037
c lw 151067
c lw 151262
c lw 151272
c lw 151322
c lw 151576
c lw 151684
c lw 151803
c lw 151937
c lw 152493
c lw 152975
c lw 153016
c lw 153078
c lw 153201
c lw 153309
c lw 153350
c lw 153443
c lw 153553
c lw 153579
c lw 153903
c lw 154508
c lw 154740
c lw 154784
c lw 154858
c lw 154909
c lw 154921
c lw 156113
c lw 156532
c lw 156538
c lw 156977
c lw 157496
c lw 157527
c lw 158234
c lw 158575
c lw 158626
c lw 158665
c lw 159175
c lw 159463
c lw 159474
c lw 159589
c lw 159718
c lw 160045
c lw 160062
c lw 160165
c lw 160496
c lw 160616
c lw 160866
c lw 160913
c lw 161025
c lw 161034
c lw 161100
c lw 161178
c lw 161728
c lw 161739
c lw 162601
c lw 162976
c lw 163242
c lw 164231
c lw 164253
c lw 164254
c lw 164362
c lw 164458
c lw 164638
c lw 165191
c lw 165212
c lw 165281
c lw 165387
c lw 165558
c lw 165635
c lw 165733
c lw 165806
c lw 165814
c lw 166161
c lw 166264
c lw 166355
c lw 166491
c lw 166705
c lw 166769
c lw 167200
c lw 167362
c lw 167749
c lw 168171
c lw 168491
c lw 168733
c lw 168973
c lw 168989
c lw 168990
c lw 169003
c lw 169049
c lw 169352
c lw 169558
c lw 169855
c lw 170184
c lw 170890
c lw 171037
c lw 171581
c lw 172072
c lw 172229
c lw 172636
c lw 173007
c lw 173053
c lw 173073
c lw 173076
c lw 173091
c lw 173165
c lw 173209
c lw 173420
c lw 174008
c lw 174051
c lw 174091
c lw 174367
c lw 174387
c lw 174390
c lw 174392
c lw 174402
c lw 174405
c lw 174440
c lw 174481
c lw 174507
c lw 174511
c lw 174637
c lw 174782
c lw 174808
c lw 174825
c lw 175000
c lw 175583
c lw 175778
c lw 176150
c lw 176227
c lw 176343
c lw 176684
c lw 176693
c lw 176702
c lw 176891
c lw 176919
c lw 177144
c lw 177145
c lw 177163
c lw 177716
c lw 178635
c lw 178729
c lw 178779
c lw 178967
c lw 178994
c lw 179033
c lw 179534
c lw 179809
c lw 180220
c lw 180223
c lw 180232
c lw 180253
c lw 180259
c lw 180262
c lw 180316
c lw 180443
c lw 180692
c lw 180773
c lw 180888
c lw 181501
c lw 181708
c lw 181711
c lw 181979
c lw 182499
c lw 182734
c lw 182781
c lw 182860
c lw 183507
c lw 183829
c lw 183930
c lw 184120
c lw 184237
c lw 184254
c lw 184263
c lw 184345
c lw 184790
c lw 185033
c lw 185048
c lw 185061
c lw 185556
c lw 185571
c lw 186038
c lw 186256
c lw 186342
c lw 186564
c lw 186590
c lw 186597
c lw 186852
c lw 187578
c lw 187633
c lw 188341
c lw 188842
c lw 189019
c lw 189718
c lw 189912
c lw 189976
c lw 190190
c lw 190765
c lw 190772
c lw 190777
c lw 190785
c lw 190794
c lw 190796
c lw 191110
c lw 191126
c lw 191234
c lw 191264
c lw 191626
c lw 191628
c lw 191629
c lw 191630
c lw 192392
c lw 192451
c lw 192728
c lw 192730
c lw 193023
c lw 193061
c lw 193105
c lw 193141
c lw 193176
c lw 193178
c lw 193187
c lw 193193
c lw 193195
c lw 193203
c lw 193241
c lw 193249
c lw 193500
c lw 193655
c lw 194198
c lw 194824
c lw 194892
c lw 195547
c lw 196107
c lw 196141
c lw 196377
c lw 196497
c lw 196518
c lw 196546
c lw 196556
c lw 196566
c lw 196736
c lw 196748
c lw 196757
c lw 196783
c lw 196814
c lw 196815
c lw 196816
c lw 196817
c lw 196823
c lw 196825
c lw 196826
c lw 196827
c lw 196828
c lw 196830
c lw 196831
c lw 196832
c lw 196833
c lw 196834
c lw 196836
c lw 196837
c lw 196838
c lw 196839
c lw 196840
c lw 196853
c lw 196855
c lw 196862
c lw 196865
c lw 196872
c lw 197317
c lw 197408
c lw 198375
c lw 198699
c lw 199341
c lw 199699
c lw 199862
c lw 200257
c lw 200449
c lw 200451
c lw 200453
c lw 200501
c lw 200557
c lw 201984
c lw 202356
c lw 202665
c lw 203041
c lw 203102
c lw 203204
c lw 203257
c lw 203771
c lw 204043
c lw 204828
c lw 205479
c lw 205900
c lw 205919
c lw 206124
c lw 206418
c lw 206436
c lw 206450
c lw 206489
c lw 207149
c lw 207689
c lw 207695
c lw 208144
c lw 208306
c lw 208450
c lw 209141
c lw 209169
c lw 209250
c lw 209258
c lw 209270
c lw 209277
c lw 209289
c lw 209294
c lw 209295
c lw 209299
c lw 209303
c lw 209304
c lw 209311
c lw 209313
c lw 209323
c lw 209324
c lw 209331
c lw 209338
c lw 209341
c lw 209343
c lw 209350
c lw 209362
c lw 209363
c lw 209382
c lw 209383
c lw 209390
c lw 209397
c lw 210213
c lw 210263
c lw 210264
c lw 210271
c lw 210369
c lw 210370
c lw 210376
c lw 210377
c lw 210378
c lw 210380
c lw 210382
c lw 210388
c lw 210394
c lw 210410
c lw 210418
c lw 210427
c lw 210440
c lw 210441
c lw 210463
c lw 210464
c lw 210465
c lw 210466
c lw 210467
c lw 210468
c lw 210469
c lw 210473
c lw 210475
c lw 210546
c lw 210547
c lw 210549
c lw 210550
c lw 210551
c lw 210552
c lw 210553
c lw 210554
c lw 210555
c lw 210556
c lw 210557
c lw 210558
c lw 210559
c lw 210560
c lw 210561
c lw 210562
c lw 210565
c lw 210568
c lw 210569
c lw 210571
c lw 210575
c lw 210576
c lw 210577
c lw 210578
c lw 210688
c lw 210689
c lw 210690
c lw 210691
c lw 210692
c lw 210693
c lw 210694
c lw 210695
c lw 210696
c lw 211366
c lw 211367
c lw 211494
c lw 211576
c lw 211779
c lw 211780
c lw 211781
c lw 211782
c lw 211960
c lw 212001
c lw 212105
c lw 213065
c lw 213268
c lw 213269
c lw 213447
c lw 213551
c lw 213552
c lw 213607
c lw 213689
c lw 213690
c lw 213691
c lw 213692
c lw 213693
c lw 213694
c lw 214449
c lw 214584
c lw 215917
c lw 216204
c lw 216713
c lw 216897
c lw 217064
c lw 217157
c lw 217199
c lw 217296
c lw 217423
c lw 217463
c lw 217978
c lw 218749
c lw 219158
c lw 220272
c lw 220358
c lw 220700
c lw 221020
c lw 221059
c lw 221120
c lw 221506
c lw 221856
c lw 222311
c lw 222584
c lw 222771
c lw 223284
c lw 223604
c lw 223839
c lw 224273
c lw 224583
c lw 224636
c lw 224813
c lw 224871
c lw 224934
c lw 225320
c lw 225372
c lw 225567
c lw 225628
c lw 225676
c lw 225681
c lw 225824
c lw 225825
c lw 226370
c lw 227198
c lw 227233
c lw 227351
c lw 227352
c lw 227353
c lw 227354