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-300-1_network-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 56
c lw 2418
c lw 3885
c lw 5624
c lw 7274
c lw 8153
c lw 9686
c lw 11567
c lw 12161
c lw 13720
c lw 14185
c lw 15421
c lw 15916
c lw 17093
c lw 18204
c lw 19103
c lw 20919
c lw 21930
c lw 22417
c lw 23273
c lw 23348
c lw 24141
c lw 25286
c lw 26956
c lw 27682
c lw 29155
c lw 30022
c lw 30238
c lw 31466
c lw 32485
c lw 33217
c lw 34548
c lw 35680
c lw 35929
c lw 36002
c lw 36078
c lw 36974
c lw 39197
c lw 40590
c lw 41702
c lw 42833
c lw 43368
c lw 44593
c lw 45580
c lw 47466
c lw 47718
c lw 48310
c lw 49751
c lw 50862
c lw 52094
c lw 52787
c lw 53114
c lw 53523
c lw 54089
c lw 54604
c lw 54938
c lw 55782
c lw 56339
c lw 56938
c lw 57014
c lw 57312
c lw 57467
c lw 57873
c lw 58608
c lw 58833
c lw 59029
c lw 59241
c lw 59356
c lw 59994
c lw 60078
c lw 60297
c lw 60394
c lw 60800
c lw 61195
c lw 61446
c lw 61771
c lw 62482
c lw 62604
c lw 63668
c lw 64045
c lw 64616
c lw 64637
c lw 64904
c lw 65399
c lw 66218
c lw 66525
c lw 66921
c lw 67386
c lw 68138
c lw 68364
c lw 68371
c lw 68503
c lw 68955
c lw 69129
c lw 69300
c lw 70388
c lw 71683
c lw 71856
c lw 72371
c lw 72645
c lw 72695
c lw 72876
c lw 72970
c lw 73024
c lw 73108
c lw 73256
c lw 73282
c lw 73515
c lw 73574
c lw 73772
c lw 73965
c lw 74973
c lw 75361
c lw 75785
c lw 75930
c lw 76641
c lw 76848
c lw 77042
c lw 77478
c lw 77981
c lw 78660
c lw 78710
c lw 79134
c lw 79139
c lw 79359
c lw 79384
c lw 80634
c lw 81441
c lw 81563
c lw 81937
c lw 82029
c lw 82134
c lw 82723
c lw 82764
c lw 83514
c lw 83750
c lw 85056
c lw 86651
c lw 86669
c lw 87284
c lw 87389
c lw 87798
c lw 87850
c lw 88556
c lw 88604
c lw 88777
c lw 88840
c lw 88919
c lw 89176
c lw 89596
c lw 89804
c lw 90018
c lw 90130
c lw 90513
c lw 91533
c lw 91554
c lw 91837
c lw 92097
c lw 92148
c lw 92205
c lw 92471
c lw 92489
c lw 92996
c lw 93004
c lw 93025
c lw 93168
c lw 93272
c lw 93592
c lw 93619
c lw 93643
c lw 93654
c lw 94186
c lw 94277
c lw 94341
c lw 94486
c lw 94491
c lw 94511
c lw 94697
c lw 94961
c lw 95212
c lw 96021
c lw 96439
c lw 96479
c lw 96804
c lw 97317
c lw 97439
c lw 97609
c lw 97628
c lw 98199
c lw 98220
c lw 98271
c lw 98766
c lw 98856
c lw 99069
c lw 99083
c lw 99267
c lw 99390
c lw 99530
c lw 99995
c lw 100367
c lw 100747
c lw 100754
c lw 100849
c lw 101005
c lw 101042
c lw 101128
c lw 101302
c lw 101473
c lw 101495
c lw 101538
c lw 101812
c lw 102398
c lw 102706
c lw 102774
c lw 102915
c lw 103205
c lw 103477
c lw 104171
c lw 104174
c lw 104508
c lw 104711
c lw 105205
c lw 105577
c lw 105887
c lw 106269
c lw 106536
c lw 106945
c lw 107015
c lw 107607
c lw 107782
c lw 107913
c lw 108477
c lw 108498
c lw 108897
c lw 108997
c lw 109593
c lw 109768
c lw 109862
c lw 109871
c lw 110666
c lw 111187
c lw 111213
c lw 111570
c lw 111629
c lw 111786
c lw 112579
c lw 113267
c lw 113483
c lw 113586
c lw 113590
c lw 113783
c lw 113975
c lw 114012
c lw 114196
c lw 114288
c lw 114393
c lw 114982
c lw 115023
c lw 115259
c lw 115401
c lw 115441
c lw 115539
c lw 115738
c lw 115964
c lw 116224
c lw 116287
c lw 116366
c lw 116498
c lw 116604
c lw 117490
c lw 117825
c lw 117909
c lw 117930
c lw 118154
c lw 118278
c lw 118481
c lw 118614
c lw 118682
c lw 119446
c lw 119489
c lw 119668
c lw 119710
c lw 120104
c lw 120324
c lw 120372
c lw 120707
c lw 120749
c lw 120928
c lw 120951
c lw 120982
c lw 121169
c lw 121211
c lw 121270
c lw 121379
c lw 121909
c lw 121989
c lw 122021
c lw 122082
c lw 122219
c lw 122359
c lw 122381
c lw 122424
c lw 122679
c lw 123072
c lw 123430
c lw 123557
c lw 123907
c lw 123938
c lw 124603
c lw 124714
c lw 124832
c lw 125208
c lw 125218
c lw 125845
c lw 126096
c lw 127372
c lw 127386
c lw 127713
c lw 127737
c lw 128115
c lw 128549
c lw 128550
c lw 128676
c lw 128786
c lw 129036
c lw 129184
c lw 129268
c lw 129403
c lw 129608
c lw 130353
c lw 130607
c lw 130625
c lw 131047
c lw 131150
c lw 131387
c lw 131484
c lw 131490
c lw 131972
c lw 132223
c lw 132388
c lw 132668
c lw 132951
c lw 133488
c lw 133504
c lw 134321
c lw 134395
c lw 134668
c lw 134727
c lw 135596
c lw 136107
c lw 136597
c lw 137375
c lw 137463
c lw 137703
c lw 137935
c lw 138210
c lw 138314
c lw 138338
c lw 138574
c lw 138830
c lw 138876
c lw 138883
c lw 139046
c lw 139485
c lw 139526
c lw 139625
c lw 140146
c lw 140193
c lw 140235
c lw 140245
c lw 140439
c lw 140508
c lw 140529
c lw 141402
c lw 141591
c lw 141970
c lw 142485
c lw 142661
c lw 142814
c lw 143026
c lw 143273
c lw 144112
c lw 144332
c lw 144443
c lw 144494
c lw 144507
c lw 144942
c lw 145184
c lw 145214
c lw 145525
c lw 145558
c lw 145628
c lw 145722
c lw 145749
c lw 146278
c lw 146298
c lw 147817
c lw 148045
c lw 148646
c lw 148727
c lw 149046
c lw 149069
c lw 149196
c lw 149209
c lw 149214
c lw 149237
c lw 149287
c lw 149532
c lw 149563
c lw 150110
c lw 150187
c lw 150356
c lw 150939
c lw 151025
c lw 151138
c lw 151569
c lw 151846
c lw 152000
c lw 152769
c lw 153003
c lw 153061
c lw 153286
c lw 153493
c lw 154509
c lw 154743
c lw 155040
c lw 155605
c lw 156290
c lw 156922
c lw 157005
c lw 157907
c lw 158285
c lw 158328
c lw 158523
c lw 158847
c lw 159060
c lw 159140
c lw 159394
c lw 159407
c lw 159545
c lw 159861
c lw 159922
c lw 160254
c lw 160480
c lw 161174
c lw 161546
c lw 161621
c lw 161661
c lw 161894
c lw 161993
c lw 162236
c lw 162388
c lw 162707
c lw 162800
c lw 162917
c lw 162952
c lw 163337
c lw 163899
c lw 163916
c lw 164189
c lw 164270
c lw 164660
c lw 164773
c lw 165387
c lw 165892
c lw 165904
c lw 165912
c lw 166011
c lw 166386
c lw 166394
c lw 166415
c lw 166416
c lw 166417
c lw 166454
c lw 166702
c lw 166760
c lw 166797
c lw 167145
c lw 167190
c lw 167542
c lw 167668
c lw 168441
c lw 168499
c lw 168980
c lw 169184
c lw 169529
c lw 169859
c lw 169983
c lw 170326
c lw 170399
c lw 170602
c lw 170798
c lw 171397
c lw 171666
c lw 171733
c lw 171790
c lw 171795
c lw 171796
c lw 171816
c lw 171856
c lw 171881
c lw 172009
c lw 173043
c lw 173065
c lw 173667
c lw 173686
c lw 173841
c lw 174229
c lw 174494
c lw 174826
c lw 175237
c lw 175365
c lw 175435
c lw 175453
c lw 176129
c lw 176491
c lw 176513
c lw 176600
c lw 176685
c lw 176998
c lw 177162
c lw 177975
c lw 178131
c lw 178319
c lw 179043
c lw 179121
c lw 179170
c lw 179332
c lw 179485
c lw 179534
c lw 179592
c lw 179618
c lw 179839
c lw 179909
c lw 179917
c lw 179965
c lw 180197
c lw 180210
c lw 180414
c lw 180542
c lw 180958
c lw 180970
c lw 180973
c lw 181143
c lw 181175
c lw 181187
c lw 181191
c lw 181195
c lw 181243
c lw 181957
c lw 182092
c lw 182491
c lw 183501
c lw 183855
c lw 184279
c lw 184720
c lw 185121
c lw 185225
c lw 185231
c lw 185233
c lw 185275
c lw 185276
c lw 185278
c lw 185284
c lw 185288
c lw 185300
c lw 185301
c lw 185302
c lw 185303
c lw 185324
c lw 185327
c lw 185333
c lw 185335
c lw 185338
c lw 185340
c lw 185341
c lw 185347
c lw 185777
c lw 186917
c lw 186934
c lw 186953
c lw 187474
c lw 187607
c lw 188302
c lw 188576
c lw 188980
c lw 189192
c lw 189411
c lw 189572
c lw 190266
c lw 190415
c lw 191006
c lw 191186
c lw 191751
c lw 191971
c lw 193108
c lw 193496
c lw 193575
c lw 193612
c lw 193746
c lw 194110
c lw 194748
c lw 194960
c lw 195120
c lw 195701
c lw 196381
c lw 196631
c lw 196714
c lw 196836
c lw 197112
c lw 197535
c lw 197914
c lw 197981
c lw 197993
c lw 198063
c lw 198070
c lw 198719
c lw 198799
c lw 199161
c lw 199366
c lw 199680
c lw 199917
c lw 199969
c lw 200353
c lw 200856
c lw 201185
c lw 201280
c lw 201326
c lw 201342
c lw 201344
c lw 201419
c lw 202307
c lw 203089
c lw 203091
c lw 203107
c lw 203153
c lw 203615
c lw 203835
c lw 205197
c lw 205724
c lw 205802
c lw 205919
c lw 206275
c lw 206416
c lw 207356
c lw 207502
c lw 207595
c lw 207888
c lw 208557
c lw 208718
c lw 209002
c lw 209272
c lw 209388
c lw 209418
c lw 209448
c lw 209607
c lw 209608
c lw 209610
c lw 209611
c lw 209612
c lw 209613
c lw 209615
c lw 209619
c lw 209655
c lw 209667
c lw 210330
c lw 210346
c lw 210360
c lw 210693
c lw 211002
c lw 211359
c lw 211415
c lw 211542
c lw 211557
c lw 211560
c lw 211575
c lw 211644
c lw 211680
c lw 212713
c lw 213169
c lw 213181
c lw 213186
c lw 213246
c lw 213459
c lw 214010
c lw 214343
c lw 214477
c lw 214959
c lw 214965
c lw 214967
c lw 214968
c lw 214969
c lw 214970
c lw 214971
c lw 214972
c lw 214973
c lw 215030
c lw 215038
c lw 215081
c lw 215122
c lw 215412
c lw 215619
c lw 215662
c lw 216355
c lw 216396
c lw 217151
c lw 218441
c lw 218523
c lw 218626
c lw 218736
c lw 218737
c lw 218738
c lw 218739
c lw 218740
c lw 218767
c lw 218877
c lw 218940
c lw 219115
c lw 219277
c lw 219602
c lw 219632
c lw 220218
c lw 220444
c lw 220452
c lw 220495
c lw 220820
c lw 220835
c lw 221142
c lw 221723
c lw 221951
c lw 222000
c lw 222079
c lw 222171
c lw 222889
c lw 223134
c lw 223246
c lw 223285
c lw 223291
c lw 223439
c lw 223494
c lw 223497
c lw 223548
c lw 223632
c lw 223637
c lw 223733
c lw 223803
c lw 223824
c lw 224002
c lw 224041
c lw 224212
c lw 224215
c lw 224323
c lw 224360
c lw 224425
c lw 224448
c lw 224508
c lw 225838
c lw 226037
c lw 226042
c lw 226082
c lw 226096
c lw 226238
c lw 226255
c lw 226301
c lw 226360
c lw 226396
c lw 226442
c lw 226458
c lw 226460
c lw 226535
c lw 226537
c lw 226553
c lw 226677
c lw 226717
c lw 226729
c lw 226737
c lw 227034
c lw 227085
c lw 227254
c lw 227569
c lw 227800
c lw 227803
c lw 227831
c lw 228301
c lw 228430
c lw 228874
c lw 228979
c lw 229407
c lw 230380
c lw 230860
c lw 230875
c lw 230881
c lw 231769
c lw 231821
c lw 231823
c lw 231853
c lw 232119
c lw 232120
c lw 232121
c lw 232126
c lw 232127
c lw 232140
c lw 232141
c lw 232146
c lw 232203
c lw 232215
c lw 232231
c lw 232235
c lw 232270
c lw 232283
c lw 232344
c lw 232345
c lw 232346
c lw 232347
c lw 232349
c lw 232466
c lw 233201
c lw 233299
c lw 233877
c lw 234153
c lw 234852
c lw 234936
c lw 235598
c lw 235794
c lw 237439
c lw 237513
c lw 237562
c lw 237602
c lw 237708
c lw 237860
c lw 238824
c lw 238881
c lw 239713
c lw 239818
c lw 240144
c lw 240542
c lw 240581
c lw 240603
c lw 240604
c lw 240682
c lw 240716
c lw 240949
c lw 241037
c lw 241119
c lw 241124
c lw 241130
c lw 241905
c lw 242295
c lw 242325
c lw 242333
c lw 242338
c lw 242440
c lw 242540
c lw 242627
c lw 243072
c lw 243222
c lw 243882
c lw 243883
c lw 243917
c lw 244018
c lw 244120
c lw 244157
c lw 244203
c lw 244260
c lw 244263
c lw 244373
c lw 244400
c lw 244483
c lw 245195
c lw 245246
c lw 245440
c lw 245741
c lw 246018
c lw 246198
c lw 246596
c lw 246740
c lw 247270
c lw 247325
c lw 247368
c lw 247409
c lw 247642
c lw 247841
c lw 247920
c lw 247948
c lw 247967
c lw 248000
c lw 248469
c lw 248877
c lw 249462
c lw 249580
c lw 249754
c lw 249759
c lw 249800
c lw 249815
c lw 250112
c lw 251248
c lw 251502
c lw 251506
c lw 251510
c lw 251917
c lw 252124
c lw 252128
c lw 252870
c lw 252878
c lw 253649
c lw 253703
c lw 253742
c lw 254047
c lw 254098
c lw 254496
c lw 254526
c lw 254668
c lw 254719
c lw 254720
c lw 254913
c lw 254914
c lw 254933
c lw 254985
c lw 255484
c lw 255573
c lw 256071
c lw 256374
c lw 256687
c lw 256706
c lw 256794
c lw 257082
c lw 257112
c lw 257258
c lw 258335
c lw 258461
c lw 258519
c lw 258557
c lw 258615
c lw 258926
c lw 259014
c lw 259632
c lw 260335
c lw 260526
c lw 260822
c lw 260826
c lw 260830
c lw 260836
c lw 260838
c lw 260856
c lw 261138
c lw 261173
c lw 261182
c lw 261201
c lw 261384
c lw 261914
c lw 261930
c lw 261931
c lw 261932
c lw 262006
c lw 262008
c lw 262013
c lw 262024
c lw 262043
c lw 262059
c lw 262064
c lw 262070
c lw 262073
c lw 262078
c lw 262106
c lw 262124
c lw 262129
c lw 262140
c lw 262148
c lw 262272
c lw 262278
c lw 262281
c lw 262289
c lw 262300
c lw 262316
c lw 262321
c lw 262322
c lw 262326
c lw 262640
c lw 262677
c lw 262693
c lw 262694
c lw 262751
c lw 262969
c lw 263001
c lw 263228
c lw 263260
c lw 263537
c lw 263584
c lw 263587
c lw 263624
c lw 263654
c lw 263674
c lw 263695
c lw 264155
c lw 264631
c lw 264634
c lw 264958
c lw 265016
c lw 265033
c lw 265255
c lw 265260
c lw 265261
c lw 265295
c lw 265551
c lw 266488
c lw 266540
c lw 267489
c lw 267597
c lw 267659
c lw 268238
c lw 268652
c lw 268713
c lw 268714
c lw 268760
c lw 268966
c lw 269022
c lw 269115
c lw 269152
c lw 269206
c lw 269228
c lw 269314
c lw 269919
c lw 270254
c lw 270340
c lw 270497
c lw 271101
c lw 271136
c lw 271278
c lw 271424
c lw 271738
c lw 272073
c lw 272210
c lw 273211
c lw 273611
c lw 273768
c lw 274424
c lw 274451
c lw 274757
c lw 274869
c lw 274935
c lw 274963
c lw 275867
c lw 275992
c lw 276279
c lw 276310
c lw 276464
c lw 276566
c lw 276872
c lw 278201
c lw 278261
c lw 278782
c lw 278804
c lw 278813
c lw 278816
c lw 279119
c lw 279598
c lw 279789
c lw 279922
c lw 279982
c lw 280212
c lw 280232
c lw 280317
c lw 280364
c lw 280453
c lw 280961
c lw 281272
c lw 281363
c lw 281443
c lw 282625
c lw 282683
c lw 283286
c lw 283691
c lw 283738
c lw 284049
c lw 284050
c lw 284071
c lw 284109
c lw 284110
c lw 284111
c lw 284112
c lw 284113
c lw 284114
c lw 284115
c lw 284116