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-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 60
c lw 189
c lw 996
c lw 2293
c lw 2561
c lw 3754
c lw 4852
c lw 7099
c lw 7708
c lw 8607
c lw 9626
c lw 10506
c lw 11285
c lw 12981
c lw 13849
c lw 14561
c lw 16108
c lw 17307
c lw 18040
c lw 18475
c lw 18761
c lw 19464
c lw 20645
c lw 22111
c lw 23056
c lw 25111
c lw 27199
c lw 28152
c lw 29357
c lw 29528
c lw 30932
c lw 32957
c lw 33884
c lw 34140
c lw 34259
c lw 35698
c lw 35931
c lw 35975
c lw 36201
c lw 36802
c lw 37615
c lw 37895
c lw 38573
c lw 38961
c lw 39029
c lw 39154
c lw 39254
c lw 40076
c lw 40553
c lw 40631
c lw 41308
c lw 41890
c lw 42249
c lw 42643
c lw 43625
c lw 43986
c lw 44784
c lw 44811
c lw 44901
c lw 44968
c lw 45863
c lw 46822
c lw 47369
c lw 48410
c lw 48684
c lw 48813
c lw 49045
c lw 49995
c lw 50232
c lw 50837
c lw 51092
c lw 51518
c lw 51615
c lw 51888
c lw 52484
c lw 52759
c lw 53163
c lw 53201
c lw 53277
c lw 53520
c lw 54210
c lw 54467
c lw 54800
c lw 54908
c lw 55933
c lw 55991
c lw 57397
c lw 57504
c lw 57558
c lw 58114
c lw 58338
c lw 59046
c lw 59323
c lw 59532
c lw 59992
c lw 60138
c lw 60710
c lw 60935
c lw 61202
c lw 61527
c lw 61551
c lw 61610
c lw 61797
c lw 62488
c lw 62605
c lw 62715
c lw 62851
c lw 63044
c lw 63385
c lw 63562
c lw 63674
c lw 64068
c lw 64167
c lw 64452
c lw 64813
c lw 64880
c lw 65243
c lw 65595
c lw 66652
c lw 66696
c lw 66805
c lw 66895
c lw 66962
c lw 67158
c lw 67179
c lw 67713
c lw 67791
c lw 67871
c lw 68037
c lw 68325
c lw 68357
c lw 68623
c lw 69233
c lw 69237
c lw 69613
c lw 70218
c lw 70315
c lw 70481
c lw 70488
c lw 70844
c lw 70956
c lw 71126
c lw 71229
c lw 71503
c lw 71825
c lw 72059
c lw 72363
c lw 72385
c lw 73024
c lw 73148
c lw 73956
c lw 73997
c lw 74005
c lw 74086
c lw 74543
c lw 74908
c lw 74972
c lw 76274
c lw 76952
c lw 77323
c lw 77782
c lw 77783
c lw 77826
c lw 78010
c lw 78674
c lw 78913
c lw 79147
c lw 79152
c lw 79377
c lw 79644
c lw 79669
c lw 79878
c lw 79937
c lw 80124
c lw 80160
c lw 80461
c lw 80860
c lw 80996
c lw 81095
c lw 81111
c lw 81324
c lw 82528
c lw 82788
c lw 82829
c lw 83021
c lw 83077
c lw 83144
c lw 83774
c lw 83845
c lw 83877
c lw 84119
c lw 84147
c lw 84461
c lw 85025
c lw 85186
c lw 85380
c lw 85781
c lw 86124
c lw 86143
c lw 86188
c lw 86483
c lw 86545
c lw 86728
c lw 87022
c lw 87051
c lw 87103
c lw 87160
c lw 88192
c lw 88907
c lw 89230
c lw 89334
c lw 90093
c lw 90368
c lw 91191
c lw 91272
c lw 91332
c lw 91726
c lw 91774
c lw 91889
c lw 92308
c lw 92365
c lw 92367
c lw 92394
c lw 92423
c lw 92844
c lw 93223
c lw 93776
c lw 94342
c lw 94485
c lw 94486
c lw 94747
c lw 94975
c lw 95655
c lw 95857
c lw 95886
c lw 96311
c lw 96617
c lw 96962
c lw 97246
c lw 97387
c lw 98326
c lw 99200
c lw 99226
c lw 99250
c lw 99286
c lw 99430
c lw 99792
c lw 100128
c lw 100438
c lw 100621
c lw 100636
c lw 100660
c lw 101067
c lw 101314
c lw 102152
c lw 102235
c lw 102403
c lw 102463
c lw 102595
c lw 102827
c lw 102844
c lw 103077
c lw 103121
c lw 103347
c lw 103493
c lw 103548
c lw 103927
c lw 104250
c lw 105033
c lw 105346
c lw 105546
c lw 105565
c lw 105764
c lw 105926
c lw 106285
c lw 106399
c lw 106426
c lw 106515
c lw 106696
c lw 106768
c lw 106847
c lw 107021
c lw 107946
c lw 108749
c lw 108797
c lw 108836
c lw 108948
c lw 109081
c lw 109434
c lw 110148
c lw 110451
c lw 111119
c lw 111505
c lw 111733
c lw 112174
c lw 112379
c lw 112397
c lw 112586
c lw 112735
c lw 112845
c lw 112858
c lw 113123
c lw 113179
c lw 113551
c lw 113611
c lw 113857
c lw 114085
c lw 114191
c lw 114342
c lw 114715
c lw 115118
c lw 115538
c lw 116030
c lw 116154
c lw 116530
c lw 116996
c lw 117756
c lw 117995
c lw 118054
c lw 118056
c lw 118085
c lw 118428
c lw 118626
c lw 118665
c lw 119112
c lw 119237
c lw 119622
c lw 119815
c lw 119817
c lw 119893
c lw 120568
c lw 120628
c lw 120842
c lw 120890
c lw 121115
c lw 121139
c lw 121365
c lw 122247
c lw 122420
c lw 123227
c lw 123258
c lw 124029
c lw 124326
c lw 124679
c lw 124848
c lw 124856
c lw 124937
c lw 125300
c lw 125329
c lw 125590
c lw 125607
c lw 125666
c lw 125672
c lw 125711
c lw 125741
c lw 125749
c lw 125997
c lw 126299
c lw 126726
c lw 126886
c lw 126894
c lw 126911
c lw 126944
c lw 127205
c lw 127333
c lw 127382
c lw 127497
c lw 128041
c lw 128327
c lw 128734
c lw 129046
c lw 129188
c lw 129391
c lw 129697
c lw 129722
c lw 129939
c lw 129968
c lw 129972
c lw 129975
c lw 130179
c lw 130221
c lw 130618
c lw 130787
c lw 130921
c lw 131624
c lw 131639
c lw 131864
c lw 131989
c lw 132020
c lw 132157
c lw 132209
c lw 132226
c lw 132323
c lw 132340
c lw 132498
c lw 132651
c lw 132678
c lw 133708
c lw 133972
c lw 134111
c lw 134281
c lw 134448
c lw 134522
c lw 134786
c lw 134864
c lw 135657
c lw 135713
c lw 135985
c lw 136623
c lw 136907
c lw 137794
c lw 137983
c lw 137993
c lw 138166
c lw 138170
c lw 138632
c lw 138639
c lw 138832
c lw 138960
c lw 139630
c lw 140161
c lw 140223
c lw 140839
c lw 141028
c lw 141125
c lw 141247
c lw 141433
c lw 141722
c lw 141800
c lw 141815
c lw 141856
c lw 142001
c lw 142145
c lw 142464
c lw 142486
c lw 143219
c lw 143478
c lw 143818
c lw 143958
c lw 144021
c lw 144069
c lw 144079
c lw 144344
c lw 144407
c lw 145025
c lw 145573
c lw 145878
c lw 145907
c lw 146110
c lw 146159
c lw 147021
c lw 147113
c lw 148262
c lw 148703
c lw 148849
c lw 148931
c lw 148981
c lw 149010
c lw 149154
c lw 149304
c lw 149368
c lw 149412
c lw 149447
c lw 149642
c lw 149691
c lw 149749
c lw 149771
c lw 150472
c lw 150625
c lw 150639
c lw 150862
c lw 151463
c lw 151773
c lw 151970
c lw 152145
c lw 152429
c lw 152744
c lw 153088
c lw 153179
c lw 153739
c lw 153861
c lw 154300
c lw 154403
c lw 154565
c lw 154749
c lw 155375
c lw 155897
c lw 155969
c lw 156387
c lw 156708
c lw 156810
c lw 156899
c lw 157017
c lw 157028
c lw 157227
c lw 157701
c lw 158355
c lw 158489
c lw 158582
c lw 158712
c lw 159712
c lw 159726
c lw 160194
c lw 160219
c lw 160870
c lw 160888
c lw 161028
c lw 161134
c lw 161337
c lw 161365
c lw 161571
c lw 161779
c lw 162101
c lw 162734
c lw 163358
c lw 163641
c lw 163719
c lw 164480
c lw 164584
c lw 165077
c lw 165169
c lw 165424
c lw 165693
c lw 165979
c lw 166039
c lw 166504
c lw 166733
c lw 166910
c lw 166966
c lw 167580
c lw 167834
c lw 167879
c lw 168328
c lw 169433
c lw 169518
c lw 170249
c lw 170724
c lw 170804
c lw 170945
c lw 170963
c lw 171327
c lw 171521
c lw 171713
c lw 171715
c lw 171752
c lw 171835
c lw 171962
c lw 172088
c lw 172134
c lw 172455
c lw 172489
c lw 172494
c lw 172818
c lw 173974
c lw 173977
c lw 173991
c lw 174217
c lw 174514
c lw 174516
c lw 174525
c lw 174605
c lw 175311
c lw 175540
c lw 175872
c lw 175896
c lw 175934
c lw 175980
c lw 176149
c lw 177038
c lw 177580
c lw 177873
c lw 178313
c lw 178478
c lw 178638
c lw 178802
c lw 179627
c lw 179723
c lw 179725
c lw 180046
c lw 180442
c lw 180495
c lw 180536
c lw 180569
c lw 180733
c lw 181919
c lw 181935
c lw 182387
c lw 182393
c lw 182394
c lw 182453
c lw 182486
c lw 182527
c lw 182892
c lw 182980
c lw 182984
c lw 182987
c lw 183058
c lw 183061
c lw 183065
c lw 183076
c lw 183237
c lw 183251
c lw 183322
c lw 183666
c lw 183995
c lw 184436
c lw 184731
c lw 184751
c lw 184980
c lw 185385
c lw 185576
c lw 185910
c lw 186145
c lw 186290
c lw 186294
c lw 186603
c lw 186649
c lw 187214
c lw 187489
c lw 187647
c lw 187681
c lw 188197
c lw 188231
c lw 188316
c lw 188389
c lw 188664
c lw 188855
c lw 188923
c lw 188931
c lw 189100
c lw 189242
c lw 189283
c lw 189305
c lw 189316
c lw 189351
c lw 189382
c lw 189417
c lw 189513
c lw 189543
c lw 189766
c lw 190260
c lw 190299
c lw 190967
c lw 190969
c lw 191026
c lw 191078
c lw 191082
c lw 191103
c lw 191281
c lw 191292
c lw 191294
c lw 191326
c lw 191377
c lw 191379
c lw 191411
c lw 191450
c lw 191863
c lw 191987
c lw 192066
c lw 192850
c lw 193120
c lw 193360
c lw 193368
c lw 194215
c lw 194992
c lw 195365
c lw 196035
c lw 196402
c lw 196762
c lw 196794
c lw 197263
c lw 197577
c lw 198139
c lw 198563
c lw 199113
c lw 199265
c lw 199534
c lw 199565
c lw 199934
c lw 200541
c lw 200607
c lw 200833
c lw 201416
c lw 201464
c lw 201532
c lw 201605
c lw 201767
c lw 202059
c lw 202096
c lw 202226
c lw 202695
c lw 202696
c lw 203072
c lw 203181
c lw 203297
c lw 203374
c lw 203617
c lw 203634
c lw 203718
c lw 203810
c lw 204833
c lw 204953
c lw 205251
c lw 205399
c lw 205415
c lw 205529
c lw 205560
c lw 205607
c lw 205620
c lw 205651
c lw 206513
c lw 206535
c lw 206675
c lw 207207
c lw 207565
c lw 207805
c lw 208121
c lw 208385
c lw 208465
c lw 208735
c lw 208825
c lw 209602
c lw 209793
c lw 210198
c lw 210243
c lw 210255
c lw 210475
c lw 210690
c lw 210774
c lw 210814
c lw 210832
c lw 210852
c lw 210885
c lw 210956
c lw 211109
c lw 211704
c lw 211803
c lw 212603
c lw 213435
c lw 213700
c lw 213987
c lw 214085
c lw 214113
c lw 214226
c lw 214263
c lw 214444
c lw 214466
c lw 215111
c lw 215268
c lw 216070
c lw 216101
c lw 216395
c lw 216821
c lw 217134
c lw 217641
c lw 217953
c lw 218014
c lw 218630
c lw 218631
c lw 218662
c lw 218680
c lw 218812
c lw 218816
c lw 218817
c lw 218838
c lw 218858
c lw 218873
c lw 218920
c lw 219184
c lw 220422
c lw 220687
c lw 221074
c lw 221243
c lw 221244
c lw 221253
c lw 221258
c lw 221263
c lw 221264
c lw 221290
c lw 221523
c lw 221524
c lw 221533
c lw 221549
c lw 221678
c lw 221782
c lw 221798
c lw 221799
c lw 222215
c lw 222248
c lw 222251
c lw 222252
c lw 222253
c lw 222254
c lw 222258
c lw 222259
c lw 222260
c lw 222269
c lw 222272
c lw 222273
c lw 222274
c lw 222275
c lw 222281
c lw 222294
c lw 222296
c lw 222325
c lw 222395
c lw 222444
c lw 222466
c lw 223042
c lw 223195
c lw 223222
c lw 223375
c lw 223383
c lw 223689
c lw 223951
c lw 224016
c lw 224334
c lw 224399
c lw 224400
c lw 224403
c lw 224433
c lw 224436
c lw 224579
c lw 224582
c lw 224594
c lw 224595
c lw 224612
c lw 224615
c lw 224616
c lw 224628
c lw 224681
c lw 224699
c lw 224708
c lw 224709
c lw 224710
c lw 224712
c lw 224730
c lw 224733
c lw 224734
c lw 224742
c lw 224745
c lw 224746
c lw 224766
c lw 224807
c lw 224828
c lw 224950
c lw 225048
c lw 225057
c lw 225060
c lw 225082
c lw 225107
c lw 225110
c lw 225178
c lw 225183
c lw 225218
c lw 225220
c lw 225221
c lw 225222
c lw 225223
c lw 225224
c lw 225225
c lw 225226
c lw 225230
c lw 225232
c lw 225233
c lw 225234
c lw 225235
c lw 225237
c lw 225241
c lw 225242
c lw 225243
c lw 225244
c lw 225248
c lw 225249
c lw 225250
c lw 225251
c lw 225252
c lw 225253
c lw 225254
c lw 225255
c lw 225256
c lw 225257
c lw 225258
c lw 225260
c lw 225261
c lw 225262
c lw 225263
c lw 225264
c lw 225265
c lw 225266
c lw 225268
c lw 225269
c lw 225270
c lw 225271
c lw 225272
c lw 225273
c lw 225274
c lw 225275
c lw 225276
c lw 226193
c lw 226561
c lw 226689
c lw 226803
c lw 226805
c lw 226808
c lw 226822
c lw 226823
c lw 226824
c lw 226825
c lw 226826
c lw 226827
c lw 226828
c lw 226829
c lw 226830
c lw 226831
c lw 226832
c lw 226833
c lw 226834