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-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1057
c lw 2269
c lw 3230
c lw 4381
c lw 5796
c lw 8253
c lw 9538
c lw 10801
c lw 11269
c lw 12767
c lw 13376
c lw 14680
c lw 15121
c lw 15863
c lw 15991
c lw 17198
c lw 19751
c lw 20763
c lw 23114
c lw 25004
c lw 26666
c lw 26986
c lw 27580
c lw 29207
c lw 30040
c lw 31319
c lw 31436
c lw 31943
c lw 32284
c lw 33419
c lw 33928
c lw 35164
c lw 36809
c lw 38085
c lw 39486
c lw 40620
c lw 40805
c lw 40887
c lw 41596
c lw 41903
c lw 42154
c lw 42390
c lw 42481
c lw 42619
c lw 42764
c lw 43081
c lw 43635
c lw 43999
c lw 44619
c lw 45002
c lw 45092
c lw 45339
c lw 45672
c lw 46600
c lw 46866
c lw 47025
c lw 47686
c lw 47990
c lw 48464
c lw 49339
c lw 50233
c lw 50269
c lw 50766
c lw 51943
c lw 52638
c lw 53228
c lw 53273
c lw 53767
c lw 54257
c lw 54476
c lw 54524
c lw 54871
c lw 54944
c lw 55071
c lw 55825
c lw 56116
c lw 56842
c lw 56916
c lw 56988
c lw 57051
c lw 57125
c lw 57473
c lw 57578
c lw 57996
c lw 58258
c lw 58266
c lw 58517
c lw 59004
c lw 59092
c lw 59724
c lw 59800
c lw 60008
c lw 60391
c lw 60562
c lw 60936
c lw 61329
c lw 61777
c lw 62391
c lw 62729
c lw 62765
c lw 62820
c lw 62894
c lw 63049
c lw 64216
c lw 64749
c lw 65681
c lw 65953
c lw 65962
c lw 66720
c lw 66896
c lw 66968
c lw 67204
c lw 67295
c lw 68753
c lw 69246
c lw 69275
c lw 69377
c lw 69421
c lw 69748
c lw 69768
c lw 69864
c lw 69941
c lw 70042
c lw 70679
c lw 71314
c lw 71467
c lw 71582
c lw 72042
c lw 73078
c lw 73182
c lw 73280
c lw 73483
c lw 73931
c lw 74066
c lw 74252
c lw 74522
c lw 74564
c lw 75511
c lw 75950
c lw 76303
c lw 76529
c lw 76668
c lw 76735
c lw 77436
c lw 77442
c lw 77687
c lw 78257
c lw 78275
c lw 78561
c lw 79327
c lw 79913
c lw 80216
c lw 80540
c lw 80684
c lw 80898
c lw 81109
c lw 81507
c lw 82049
c lw 82643
c lw 83081
c lw 83209
c lw 83302
c lw 83846
c lw 84191
c lw 84334
c lw 84474
c lw 84624
c lw 84826
c lw 85244
c lw 85602
c lw 85607
c lw 86251
c lw 86341
c lw 86545
c lw 86767
c lw 86814
c lw 86985
c lw 87149
c lw 87642
c lw 87771
c lw 88109
c lw 88177
c lw 88214
c lw 88275
c lw 88320
c lw 88526
c lw 88766
c lw 88872
c lw 88920
c lw 88931
c lw 89004
c lw 89131
c lw 89347
c lw 89593
c lw 89793
c lw 89916
c lw 90121
c lw 90720
c lw 90952
c lw 91059
c lw 91443
c lw 91542
c lw 91828
c lw 91977
c lw 91984
c lw 92034
c lw 92051
c lw 92267
c lw 92282
c lw 92298
c lw 92510
c lw 93158
c lw 93312
c lw 93400
c lw 93704
c lw 93816
c lw 93824
c lw 93858
c lw 93959
c lw 94024
c lw 94037
c lw 94309
c lw 94442
c lw 94564
c lw 94836
c lw 95611
c lw 95809
c lw 95900
c lw 95948
c lw 96049
c lw 96132
c lw 96144
c lw 96212
c lw 96249
c lw 96260
c lw 96352
c lw 96424
c lw 96511
c lw 96615
c lw 96687
c lw 96791
c lw 96871
c lw 97089
c lw 97264
c lw 97656
c lw 98072
c lw 98388
c lw 98439
c lw 99169
c lw 99499
c lw 99726
c lw 100378
c lw 100638
c lw 101343
c lw 101757
c lw 101779
c lw 101882
c lw 102220
c lw 102288
c lw 102516
c lw 102870
c lw 102880
c lw 102946
c lw 103246
c lw 103353
c lw 103375
c lw 103434
c lw 103465
c lw 103553
c lw 103915
c lw 103997
c lw 104030
c lw 104112
c lw 104122
c lw 104160
c lw 104897
c lw 104935
c lw 105094
c lw 105455
c lw 105501
c lw 105508
c lw 105560
c lw 106049
c lw 106060
c lw 106123
c lw 106141
c lw 106897
c lw 107424
c lw 107478
c lw 108361
c lw 108487
c lw 109011
c lw 109104
c lw 109150
c lw 109368
c lw 109488
c lw 110265
c lw 110635
c lw 111102
c lw 111264
c lw 111331
c lw 111470
c lw 111598
c lw 112315
c lw 112332
c lw 112338
c lw 112459
c lw 112777
c lw 112784
c lw 112995
c lw 113733
c lw 113787
c lw 114104
c lw 114186
c lw 114459
c lw 114460
c lw 114471
c lw 114686
c lw 115229
c lw 115437
c lw 115513
c lw 115945
c lw 115995
c lw 116105
c lw 116960
c lw 117332
c lw 117375
c lw 117409
c lw 117439
c lw 117958
c lw 118249
c lw 118260
c lw 118334
c lw 118955
c lw 119269
c lw 119923
c lw 120157
c lw 120361
c lw 120627
c lw 120654
c lw 120779
c lw 121329
c lw 121523
c lw 121884
c lw 122206
c lw 122314
c lw 122601
c lw 123078
c lw 123223
c lw 123883
c lw 123892
c lw 124202
c lw 124334
c lw 124342
c lw 124367
c lw 124372
c lw 124377
c lw 124549
c lw 124594
c lw 124726
c lw 124755
c lw 124761
c lw 124900
c lw 125196
c lw 125943
c lw 126393
c lw 126457
c lw 126507
c lw 126976
c lw 127273
c lw 127360
c lw 127475
c lw 127794
c lw 127870
c lw 128317
c lw 128318
c lw 128726
c lw 129140
c lw 129307
c lw 129521
c lw 129727
c lw 130287
c lw 130417
c lw 130811
c lw 131168
c lw 131320
c lw 131720
c lw 131815
c lw 131858
c lw 132242
c lw 133483
c lw 133837
c lw 134818
c lw 134837
c lw 135938
c lw 136073
c lw 136101
c lw 136411
c lw 136881
c lw 137167
c lw 137482
c lw 138173
c lw 138554
c lw 139426
c lw 139721
c lw 139989
c lw 140026
c lw 140187
c lw 140429
c lw 140661
c lw 140726
c lw 140979
c lw 141064
c lw 141493
c lw 141919
c lw 142258
c lw 142653
c lw 142688
c lw 142765
c lw 142778
c lw 142964
c lw 143529
c lw 143550
c lw 143706
c lw 143715
c lw 143734
c lw 143877
c lw 144763
c lw 144779
c lw 145315
c lw 145426
c lw 145462
c lw 145955
c lw 146067
c lw 146203
c lw 146243
c lw 146832
c lw 147136
c lw 147147
c lw 147485
c lw 147706
c lw 148443
c lw 148448
c lw 148552
c lw 148598
c lw 148634
c lw 148831
c lw 149404
c lw 149449
c lw 149454
c lw 149455
c lw 149456
c lw 149457
c lw 149459
c lw 149460
c lw 149461
c lw 149463
c lw 150407
c lw 150635
c lw 150639
c lw 151461
c lw 151632
c lw 151707
c lw 151972
c lw 152281
c lw 152871
c lw 152934
c lw 153061
c lw 153077
c lw 153154
c lw 153200
c lw 153210
c lw 153411
c lw 153814
c lw 154871
c lw 155025
c lw 155417
c lw 155463
c lw 156032
c lw 156329
c lw 156408
c lw 156414
c lw 156418
c lw 156441
c lw 156464
c lw 156510
c lw 156995
c lw 157793
c lw 157822
c lw 157955
c lw 157996
c lw 158007
c lw 158114
c lw 158375
c lw 158519
c lw 158656
c lw 159140
c lw 159152
c lw 159286
c lw 160121
c lw 160137
c lw 160145
c lw 160222
c lw 160667
c lw 160701
c lw 160893
c lw 161259
c lw 161417
c lw 161477
c lw 161575
c lw 161817
c lw 161930
c lw 161995
c lw 162027
c lw 162048
c lw 162568
c lw 163314
c lw 163641
c lw 163854
c lw 164016
c lw 164018
c lw 164161
c lw 164180
c lw 164181
c lw 164182
c lw 164183
c lw 164184
c lw 164185
c lw 164186
c lw 164189
c lw 164190
c lw 164956
c lw 165001
c lw 165128
c lw 165312
c lw 165315
c lw 165374
c lw 165379
c lw 165414
c lw 165614
c lw 165978
c lw 166111
c lw 166293
c lw 166402
c lw 166772
c lw 167197
c lw 167444
c lw 167469
c lw 168451
c lw 168624
c lw 168895
c lw 169003
c lw 169040
c lw 169055
c lw 169270
c lw 169275
c lw 169450
c lw 169597
c lw 169612
c lw 170413
c lw 170416
c lw 170588
c lw 170697
c lw 171103
c lw 171413
c lw 171689
c lw 171943
c lw 171953
c lw 172090
c lw 172101
c lw 172102
c lw 172111
c lw 172116
c lw 172141
c lw 172307
c lw 173182
c lw 173248
c lw 173251
c lw 174336
c lw 174512
c lw 174531
c lw 174886
c lw 175087
c lw 175122
c lw 175147
c lw 175309
c lw 175344
c lw 176294
c lw 176565
c lw 176729
c lw 177653
c lw 177699
c lw 177741
c lw 177849
c lw 177851
c lw 177888
c lw 177934
c lw 177952
c lw 178393
c lw 178927
c lw 178932
c lw 178937
c lw 178940
c lw 179039
c lw 179174
c lw 179216
c lw 179219
c lw 179328
c lw 179354
c lw 179429
c lw 179434
c lw 179487
c lw 179506
c lw 179507
c lw 179508
c lw 179509
c lw 179510
c lw 179511
c lw 179512
c lw 179513
c lw 179514
c lw 179515
c lw 179516
c lw 179518
c lw 179670
c lw 179671
c lw 179672
c lw 179673
c lw 179677
c lw 179718
c lw 179747
c lw 179758
c lw 180061
c lw 180092
c lw 180662
c lw 180904
c lw 180920
c lw 180923
c lw 180926
c lw 180929
c lw 180946
c lw 180950
c lw 181079
c lw 181192
c lw 182041
c lw 182406
c lw 182516
c lw 182646
c lw 183816
c lw 183867
c lw 184012
c lw 184059
c lw 184181
c lw 184488
c lw 185464
c lw 185694
c lw 185922
c lw 186442
c lw 186550
c lw 186591
c lw 186617
c lw 186722
c lw 186774
c lw 187107
c lw 187148
c lw 187217
c lw 187236
c lw 187270
c lw 187323
c lw 187378
c lw 187700
c lw 187735
c lw 187798
c lw 187849
c lw 187855
c lw 187861
c lw 187919
c lw 187920
c lw 187929
c lw 187934
c lw 187962
c lw 187971
c lw 188003
c lw 188012
c lw 188038
c lw 188046
c lw 188053
c lw 188054
c lw 188072
c lw 188096
c lw 188101
c lw 188149
c lw 188208
c lw 188839
c lw 188892
c lw 188901
c lw 188927
c lw 188943
c lw 189141
c lw 189833
c lw 189885
c lw 190045
c lw 190059
c lw 190399
c lw 191055
c lw 191070
c lw 191105
c lw 191106
c lw 191107
c lw 191108
c lw 191109
c lw 191354
c lw 191393
c lw 191452
c lw 192071
c lw 192282
c lw 192670
c lw 192703
c lw 192705
c lw 193352
c lw 193459
c lw 193461
c lw 193465
c lw 193472
c lw 193490
c lw 193491
c lw 193502
c lw 193509
c lw 193689
c lw 194109
c lw 194420
c lw 194576
c lw 194577
c lw 194848
c lw 195094
c lw 195102
c lw 195373
c lw 195374
c lw 195932
c lw 195946
c lw 196644
c lw 196870
c lw 196991
c lw 197388
c lw 198818
c lw 198910
c lw 198945
c lw 199122
c lw 199123
c lw 199139
c lw 199143
c lw 199154
c lw 199170
c lw 199181
c lw 199187
c lw 199195
c lw 199258
c lw 199268
c lw 199303
c lw 199306
c lw 199308
c lw 199547
c lw 199749
c lw 200122
c lw 200524
c lw 200734
c lw 200740
c lw 200968
c lw 201064
c lw 201530
c lw 201536
c lw 201632
c lw 201733
c lw 202173
c lw 202229
c lw 202247
c lw 202807
c lw 203205
c lw 203261
c lw 203340
c lw 203542
c lw 203624
c lw 203877
c lw 204447
c lw 204818
c lw 204912
c lw 205327
c lw 205328
c lw 205346
c lw 205402
c lw 206219
c lw 206623
c lw 206802
c lw 207228
c lw 207384
c lw 208009
c lw 208680
c lw 208749
c lw 209368
c lw 209761
c lw 210501
c lw 211324
c lw 212415
c lw 212583
c lw 213348
c lw 214671
c lw 214879
c lw 215045
c lw 215150
c lw 215205
c lw 215877
c lw 215884
c lw 215938
c lw 215940
c lw 216260
c lw 216419
c lw 216426
c lw 216429
c lw 216489
c lw 216764
c lw 217009
c lw 217361
c lw 217660
c lw 218105
c lw 218133
c lw 218326
c lw 218749
c lw 218752
c lw 219159
c lw 219161
c lw 219183
c lw 219184
c lw 219185
c lw 219186
c lw 219187
c lw 219188
c lw 219189
c lw 219190
c lw 219191
c lw 219192