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-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 80
c lw 1444
c lw 2890
c lw 4109
c lw 4242
c lw 5426
c lw 7124
c lw 8655
c lw 9762
c lw 10370
c lw 11467
c lw 12630
c lw 12906
c lw 14012
c lw 15242
c lw 15623
c lw 16655
c lw 17003
c lw 18808
c lw 20121
c lw 21301
c lw 21444
c lw 22353
c lw 23081
c lw 23729
c lw 24770
c lw 26244
c lw 27263
c lw 28505
c lw 29216
c lw 30387
c lw 31524
c lw 32962
c lw 33362
c lw 34401
c lw 36031
c lw 36220
c lw 37122
c lw 37696
c lw 39107
c lw 39532
c lw 40072
c lw 40255
c lw 40364
c lw 41676
c lw 41867
c lw 41911
c lw 42347
c lw 42615
c lw 43715
c lw 44398
c lw 44890
c lw 44938
c lw 46303
c lw 46451
c lw 46627
c lw 46946
c lw 47159
c lw 47756
c lw 48783
c lw 49357
c lw 49436
c lw 49798
c lw 50183
c lw 50235
c lw 50292
c lw 50726
c lw 51042
c lw 51397
c lw 51450
c lw 51685
c lw 51885
c lw 52821
c lw 52864
c lw 53585
c lw 53808
c lw 54572
c lw 54745
c lw 55122
c lw 55236
c lw 55278
c lw 55410
c lw 55720
c lw 57086
c lw 57264
c lw 57608
c lw 58273
c lw 59903
c lw 60062
c lw 60095
c lw 60597
c lw 60675
c lw 61608
c lw 62677
c lw 62915
c lw 63393
c lw 63539
c lw 63633
c lw 63849
c lw 63856
c lw 64281
c lw 64528
c lw 65680
c lw 65825
c lw 66037
c lw 66054
c lw 67419
c lw 67430
c lw 67488
c lw 67600
c lw 67747
c lw 68178
c lw 68218
c lw 68318
c lw 68428
c lw 69630
c lw 69805
c lw 69957
c lw 70052
c lw 70466
c lw 70739
c lw 71575
c lw 71717
c lw 72182
c lw 73032
c lw 73092
c lw 73203
c lw 73295
c lw 73532
c lw 74497
c lw 74620
c lw 74833
c lw 74997
c lw 75180
c lw 75281
c lw 75332
c lw 75579
c lw 75619
c lw 75905
c lw 75975
c lw 76028
c lw 76263
c lw 76463
c lw 76597
c lw 76785
c lw 76858
c lw 76959
c lw 77194
c lw 77417
c lw 77847
c lw 78020
c lw 78337
c lw 78375
c lw 78489
c lw 78531
c lw 78955
c lw 79232
c lw 79410
c lw 79754
c lw 79820
c lw 79979
c lw 80012
c lw 80506
c lw 80514
c lw 80592
c lw 80756
c lw 80994
c lw 81482
c lw 81589
c lw 82269
c lw 83000
c lw 83230
c lw 83426
c lw 83602
c lw 83651
c lw 83755
c lw 83821
c lw 84319
c lw 84335
c lw 84401
c lw 84899
c lw 84901
c lw 86047
c lw 87073
c lw 87332
c lw 87838
c lw 88406
c lw 88413
c lw 89039
c lw 89449
c lw 89551
c lw 89981
c lw 90419
c lw 90577
c lw 90784
c lw 90962
c lw 91011
c lw 91182
c lw 91471
c lw 91560
c lw 91577
c lw 91675
c lw 91992
c lw 92280
c lw 92621
c lw 92779
c lw 92796
c lw 93125
c lw 93167
c lw 93209
c lw 93857
c lw 93897
c lw 93941
c lw 94398
c lw 94692
c lw 95158
c lw 95414
c lw 95430
c lw 95594
c lw 95609
c lw 95789
c lw 95904
c lw 96241
c lw 97262
c lw 97284
c lw 97457
c lw 97723
c lw 98101
c lw 98207
c lw 98209
c lw 98469
c lw 98990
c lw 99056
c lw 99076
c lw 99494
c lw 99555
c lw 100112
c lw 100270
c lw 100306
c lw 100440
c lw 100766
c lw 101025
c lw 101207
c lw 101336
c lw 101404
c lw 101901
c lw 101928
c lw 102119
c lw 102629
c lw 103437
c lw 103615
c lw 103684
c lw 103997
c lw 104155
c lw 104302
c lw 104562
c lw 104626
c lw 104702
c lw 104727
c lw 104973
c lw 105679
c lw 105726
c lw 106149
c lw 106342
c lw 106628
c lw 106762
c lw 106842
c lw 108064
c lw 108277
c lw 108424
c lw 109182
c lw 109267
c lw 109353
c lw 109653
c lw 109685
c lw 109728
c lw 109926
c lw 109983
c lw 110159
c lw 110517
c lw 110741
c lw 110926
c lw 111207
c lw 111494
c lw 111524
c lw 112070
c lw 112108
c lw 112495
c lw 112947
c lw 113179
c lw 113353
c lw 114150
c lw 114211
c lw 114234
c lw 114500
c lw 114670
c lw 115077
c lw 115189
c lw 115472
c lw 115513
c lw 116927
c lw 117101
c lw 118272
c lw 118509
c lw 119809
c lw 119851
c lw 120265
c lw 120415
c lw 120604
c lw 120852
c lw 121033
c lw 121398
c lw 121601
c lw 121966
c lw 122249
c lw 122882
c lw 123054
c lw 123419
c lw 123746
c lw 123832
c lw 123924
c lw 123982
c lw 123993
c lw 124528
c lw 124667
c lw 125207
c lw 125568
c lw 125856
c lw 125857
c lw 126002
c lw 126065
c lw 126156
c lw 126167
c lw 126325
c lw 126340
c lw 126432
c lw 126528
c lw 126720
c lw 126721
c lw 126866
c lw 127330
c lw 127433
c lw 128573
c lw 128678
c lw 128733
c lw 128745
c lw 128839
c lw 129537
c lw 129709
c lw 129823
c lw 130382
c lw 130779
c lw 130882
c lw 131057
c lw 131071
c lw 131259
c lw 131355
c lw 131606
c lw 133189
c lw 133441
c lw 133829
c lw 135225
c lw 135365
c lw 135684
c lw 135793
c lw 136074
c lw 136208
c lw 136765
c lw 137036
c lw 137598
c lw 137924
c lw 139185
c lw 139563
c lw 139933
c lw 140395
c lw 140607
c lw 141183
c lw 141190
c lw 141286
c lw 141288
c lw 141862
c lw 141948
c lw 141978
c lw 142002
c lw 142030
c lw 142081
c lw 142401
c lw 142501
c lw 142577
c lw 142790
c lw 143239
c lw 143284
c lw 143761
c lw 144659
c lw 144837
c lw 144889
c lw 144929
c lw 145006
c lw 145080
c lw 145124
c lw 145306
c lw 145352
c lw 145487
c lw 146087
c lw 146101
c lw 146312
c lw 146388
c lw 146478
c lw 146598
c lw 146852
c lw 147033
c lw 147283
c lw 147464
c lw 147515
c lw 147701
c lw 147768
c lw 147777
c lw 147833
c lw 147950
c lw 148261
c lw 148421
c lw 148832
c lw 148879
c lw 148995
c lw 149183
c lw 149216
c lw 149251
c lw 149323
c lw 149641
c lw 149917
c lw 149918
c lw 150099
c lw 150147
c lw 150247
c lw 150305
c lw 150333
c lw 150334
c lw 150348
c lw 150495
c lw 150505
c lw 150520
c lw 150577
c lw 150588
c lw 150601
c lw 150716
c lw 151065
c lw 151229
c lw 151512
c lw 151602
c lw 151641
c lw 151679
c lw 151692
c lw 151696
c lw 152540
c lw 152759
c lw 152787
c lw 152876
c lw 152914
c lw 153084
c lw 153451
c lw 153590
c lw 153733
c lw 153766
c lw 154064
c lw 154165
c lw 154539
c lw 154758
c lw 155476
c lw 155589
c lw 156080
c lw 156414
c lw 156443
c lw 156540
c lw 156617
c lw 156806
c lw 157174
c lw 157592
c lw 157684
c lw 157707
c lw 157725
c lw 157745
c lw 157875
c lw 157892
c lw 158262
c lw 158281
c lw 158420
c lw 158477
c lw 158643
c lw 158691
c lw 158734
c lw 158952
c lw 159526
c lw 159989
c lw 160035
c lw 160070
c lw 160638
c lw 160686
c lw 160943
c lw 161225
c lw 161283
c lw 161284
c lw 161326
c lw 161330
c lw 161347
c lw 161574
c lw 161673
c lw 161932
c lw 162908
c lw 163381
c lw 163392
c lw 163409
c lw 163866
c lw 164081
c lw 164117
c lw 164404
c lw 164444
c lw 164586
c lw 164760
c lw 164808
c lw 165069
c lw 165084
c lw 165320
c lw 165462
c lw 165624
c lw 165829
c lw 165838
c lw 165919
c lw 166523
c lw 166840
c lw 167533
c lw 167625
c lw 167686
c lw 167813
c lw 168013
c lw 168053
c lw 168091
c lw 168138
c lw 168146
c lw 168758
c lw 168974
c lw 169008
c lw 169360
c lw 169571
c lw 169656
c lw 169839
c lw 170431
c lw 170591
c lw 170783
c lw 171167
c lw 171344
c lw 171556
c lw 172339
c lw 172377
c lw 172386
c lw 172820
c lw 172979
c lw 173266
c lw 173847
c lw 173872
c lw 173927
c lw 173931
c lw 174086
c lw 174106
c lw 174148
c lw 174149
c lw 174173
c lw 174184
c lw 174712
c lw 174726
c lw 174873
c lw 174950
c lw 174954
c lw 175011
c lw 175016
c lw 175024
c lw 175028
c lw 175152
c lw 175227
c lw 175382
c lw 175559
c lw 175627
c lw 175835
c lw 176085
c lw 176581
c lw 176664
c lw 177844
c lw 177879
c lw 177914
c lw 177950
c lw 178088
c lw 178102
c lw 178434
c lw 178480
c lw 178769
c lw 179614
c lw 179746
c lw 179789
c lw 179918
c lw 180005
c lw 180007
c lw 180047
c lw 180071
c lw 180101
c lw 180171
c lw 180274
c lw 180501
c lw 181059
c lw 181635
c lw 181689
c lw 181804
c lw 182121
c lw 182164
c lw 182280
c lw 182297
c lw 182301
c lw 182521
c lw 182532
c lw 182611
c lw 182885
c lw 183239
c lw 183242
c lw 183289
c lw 183321
c lw 183440
c lw 183609
c lw 183796
c lw 183870
c lw 184047
c lw 184206
c lw 184260
c lw 184744
c lw 184858
c lw 184899
c lw 184985
c lw 185866
c lw 186047
c lw 186107
c lw 186616
c lw 186784
c lw 186967
c lw 187632
c lw 187692
c lw 187722
c lw 187735
c lw 187746
c lw 187785
c lw 187786
c lw 187788
c lw 187808
c lw 187936
c lw 188013
c lw 188034
c lw 188051
c lw 188087
c lw 188105
c lw 188109
c lw 188122
c lw 188185
c lw 188204
c lw 188236
c lw 188250
c lw 188342
c lw 188362
c lw 188433
c lw 188436
c lw 188446
c lw 188644
c lw 188719
c lw 188778
c lw 188781
c lw 188788
c lw 188792
c lw 188797
c lw 188798
c lw 188810
c lw 188837
c lw 188849
c lw 188853
c lw 188870
c lw 188976
c lw 189030
c lw 189044
c lw 189055
c lw 189058
c lw 189065
c lw 189069
c lw 189074
c lw 189075
c lw 189087
c lw 189090
c lw 189096
c lw 189100
c lw 189111
c lw 189150
c lw 189151
c lw 189153
c lw 189173
c lw 189175
c lw 189186
c lw 189200
c lw 189201
c lw 189205
c lw 189218
c lw 189229
c lw 189244
c lw 189249
c lw 189250
c lw 189251
c lw 189254
c lw 189260
c lw 189268
c lw 189457
c lw 189677
c lw 190204
c lw 190217
c lw 190218
c lw 190219
c lw 190229
c lw 190234
c lw 190236
c lw 191576
c lw 191589
c lw 191845
c lw 191848
c lw 191851
c lw 191910
c lw 191933
c lw 192060
c lw 192547
c lw 192562
c lw 192735
c lw 192747
c lw 192835
c lw 192927
c lw 193089
c lw 193105
c lw 193208
c lw 193224
c lw 193423
c lw 193435
c lw 193719
c lw 193886
c lw 194978
c lw 194986
c lw 195315
c lw 195318
c lw 195343
c lw 195415
c lw 195445
c lw 196372
c lw 196453
c lw 196461
c lw 196622
c lw 197493
c lw 197917
c lw 198323
c lw 198711
c lw 198776
c lw 198899
c lw 199056
c lw 199483
c lw 199637
c lw 200435
c lw 200470
c lw 200506
c lw 200530
c lw 201157
c lw 201247
c lw 201380
c lw 201665
c lw 201751
c lw 201837
c lw 201885
c lw 201889
c lw 201988
c lw 203022
c lw 203125
c lw 203306
c lw 203577
c lw 203632
c lw 203657
c lw 203889
c lw 203893
c lw 203896
c lw 203912
c lw 203913
c lw 203918
c lw 203921
c lw 203932
c lw 203933
c lw 203936
c lw 203939
c lw 203959
c lw 203990
c lw 203992
c lw 203993
c lw 204012
c lw 204019
c lw 204023
c lw 204061
c lw 204086
c lw 204089
c lw 204090
c lw 204106
c lw 204108
c lw 204110
c lw 204126
c lw 204127
c lw 204286
c lw 204299
c lw 204306
c lw 204398
c lw 204425
c lw 204452
c lw 204490
c lw 204544
c lw 204596
c lw 204599
c lw 204759
c lw 204872
c lw 204877
c lw 204885
c lw 204895
c lw 204899
c lw 205033
c lw 205037
c lw 205210
c lw 205635
c lw 205769
c lw 205775
c lw 205805
c lw 205832
c lw 205833
c lw 205834
c lw 205836
c lw 205839
c lw 205843
c lw 205849
c lw 205850
c lw 205851
c lw 205853
c lw 205856
c lw 205857
c lw 205858
c lw 205859
c lw 205860
c lw 205861
c lw 205873
c lw 205875
c lw 205877
c lw 205882
c lw 205888
c lw 205889
c lw 205890
c lw 205893
c lw 205901
c lw 205920
c lw 205931
c lw 205947
c lw 205955
c lw 205992
c lw 206187
c lw 206323
c lw 206361
c lw 206417
c lw 206490
c lw 206502
c lw 206515
c lw 206563
c lw 206651
c lw 206863
c lw 207002
c lw 207004
c lw 207018
c lw 207019
c lw 207020
c lw 207022
c lw 207023
c lw 207024
c lw 207025
c lw 207030
c lw 207031
c lw 207032
c lw 207042
c lw 207043
c lw 207054
c lw 207060
c lw 207331
c lw 207335
c lw 207339
c lw 207341
c lw 207342
c lw 207344
c lw 207350
c lw 207356
c lw 207357
c lw 207361
c lw 207671
c lw 208267
c lw 208582
c lw 209031
c lw 209272
c lw 209394
c lw 210594
c lw 210827
c lw 211303
c lw 211306
c lw 211307
c lw 211462
c lw 211668
c lw 212404
c lw 212452
c lw 212616
c lw 212957
c lw 213063
c lw 213074
c lw 213088
c lw 213128
c lw 213131
c lw 213149
c lw 214270
c lw 214276
c lw 214375
c lw 214407
c lw 214451
c lw 214480
c lw 214502
c lw 214505
c lw 214510
c lw 214512
c lw 214513
c lw 214521
c lw 214532
c lw 214540
c lw 214549
c lw 214552
c lw 214554
c lw 214557
c lw 214559
c lw 214560
c lw 214565
c lw 214568
c lw 214570
c lw 214576
c lw 214579
c lw 214581
c lw 214582
c lw 214583
c lw 214584
c lw 215800
c lw 216039
c lw 216311
c lw 216402
c lw 217079
c lw 217085
c lw 217098
c lw 217101
c lw 217102
c lw 217109
c lw 217112
c lw 217126
c lw 217139
c lw 217164
c lw 217168
c lw 217175
c lw 217176
c lw 217177
c lw 217180
c lw 217187
c lw 217308
c lw 217592
c lw 217684
c lw 217698
c lw 218245
c lw 218560
c lw 219378
c lw 219461
c lw 219544
c lw 219840
c lw 220078
c lw 220284
c lw 220396
c lw 221221
c lw 221301
c lw 221527
c lw 221741
c lw 221761
c lw 221856
c lw 222061
c lw 222141
c lw 222868
c lw 223584
c lw 223688
c lw 224102
c lw 224118
c lw 224157
c lw 224158
c lw 224160
c lw 224162
c lw 224164
c lw 224206
c lw 224207
c lw 224208
c lw 224209
c lw 224210
c lw 224211
c lw 224212
c lw 224213
c lw 224214
c lw 224215
c lw 224216
c lw 224217
c lw 224218
c lw 224220
c lw 224221
c lw 224222
c lw 224223
c lw 224224
c lw 224225
c lw 224226
c lw 224227
c lw 224228
c lw 224229
c lw 224230
c lw 224231
c lw 224232
c lw 224233
c lw 224234
c lw 224235
c lw 224236
c lw 224237
c lw 224238
c lw 224239
c lw 224240
c lw 224241
c lw 224242
c lw 224243
c lw 224244
c lw 224245