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-120-1_network-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1115
c lw 1650
c lw 2256
c lw 3327
c lw 3329
c lw 4859
c lw 5647
c lw 7138
c lw 7676
c lw 9407
c lw 10715
c lw 13061
c lw 14892
c lw 15694
c lw 16622
c lw 18252
c lw 19309
c lw 20543
c lw 20682
c lw 22451
c lw 23350
c lw 23944
c lw 24604
c lw 25351
c lw 25632
c lw 25649
c lw 25685
c lw 26968
c lw 27345
c lw 28028
c lw 28494
c lw 29007
c lw 29847
c lw 29849
c lw 30358
c lw 30444
c lw 30807
c lw 30872
c lw 31147
c lw 32421
c lw 33003
c lw 33652
c lw 33751
c lw 33920
c lw 34510
c lw 34518
c lw 34611
c lw 34896
c lw 35183
c lw 35193
c lw 35199
c lw 35547
c lw 35588
c lw 36443
c lw 37304
c lw 37660
c lw 37710
c lw 37812
c lw 37973
c lw 38023
c lw 38253
c lw 38343
c lw 38570
c lw 38646
c lw 39163
c lw 39173
c lw 39448
c lw 39636
c lw 39873
c lw 40061
c lw 40282
c lw 40304
c lw 40660
c lw 40661
c lw 40947
c lw 41086
c lw 41098
c lw 41151
c lw 42045
c lw 42183
c lw 42628
c lw 42636
c lw 42650
c lw 42660
c lw 42666
c lw 43508
c lw 43608
c lw 43649
c lw 43697
c lw 43759
c lw 43920
c lw 44131
c lw 44173
c lw 44303
c lw 44383
c lw 44416
c lw 44801
c lw 44949
c lw 45438
c lw 46007
c lw 46616
c lw 47144
c lw 47689
c lw 47890
c lw 47913
c lw 47920
c lw 47975
c lw 49097
c lw 49484
c lw 50040
c lw 50686
c lw 50690
c lw 50781
c lw 51994
c lw 52097
c lw 52397
c lw 52532
c lw 52572
c lw 52590
c lw 52693
c lw 52726
c lw 52743
c lw 52935
c lw 53016
c lw 53086
c lw 53243
c lw 53452
c lw 53681
c lw 54313
c lw 55277
c lw 55373
c lw 56728
c lw 56732
c lw 56868
c lw 57197
c lw 58185
c lw 58508
c lw 58516
c lw 58783
c lw 58818
c lw 58897
c lw 58950
c lw 59300
c lw 59369
c lw 59371
c lw 59657
c lw 60268
c lw 60485
c lw 60528
c lw 60566
c lw 60749
c lw 60751
c lw 61285
c lw 61977
c lw 62074
c lw 62223
c lw 62247
c lw 62313
c lw 63162
c lw 63312
c lw 63738
c lw 64460
c lw 64476
c lw 64877
c lw 64907
c lw 65576
c lw 65933
c lw 66679
c lw 66752
c lw 67046
c lw 67351
c lw 67857
c lw 67859
c lw 67927
c lw 67994
c lw 68342
c lw 68343
c lw 68414
c lw 68546
c lw 68826
c lw 68950
c lw 68995
c lw 69168
c lw 69327
c lw 69533
c lw 69853
c lw 70895
c lw 71453
c lw 71614
c lw 72195
c lw 72339
c lw 72389
c lw 72439
c lw 72539
c lw 72898
c lw 72948
c lw 73152
c lw 73583
c lw 73594
c lw 73595
c lw 73655
c lw 73799
c lw 73800
c lw 73853
c lw 74066
c lw 74149
c lw 74350
c lw 74415
c lw 74519
c lw 74853
c lw 75038
c lw 75217
c lw 76137
c lw 76871
c lw 76879
c lw 77153
c lw 77625
c lw 77931
c lw 78103
c lw 78218
c lw 78292
c lw 78360
c lw 78365
c lw 78949
c lw 79360
c lw 79446
c lw 79581
c lw 79623
c lw 79659
c lw 79900
c lw 79901
c lw 80252
c lw 80262
c lw 80458
c lw 80787
c lw 81296
c lw 81324
c lw 81431
c lw 81540
c lw 81657
c lw 81660
c lw 81996
c lw 82122
c lw 82176
c lw 82337
c lw 82425
c lw 82586
c lw 82771
c lw 83081
c lw 83638
c lw 83956
c lw 84215
c lw 84955
c lw 85061
c lw 85078
c lw 85079
c lw 85424
c lw 85460
c lw 85484
c lw 85563
c lw 85951
c lw 86276
c lw 86477
c lw 86813
c lw 87156
c lw 87279
c lw 87381
c lw 87591
c lw 87592
c lw 87599
c lw 87658
c lw 87661
c lw 87662
c lw 87694
c lw 87736
c lw 87802
c lw 88767
c lw 89011
c lw 89026
c lw 89030
c lw 89126
c lw 89150
c lw 89181
c lw 89221
c lw 89225
c lw 89253
c lw 89254
c lw 89266
c lw 89270
c lw 89272
c lw 89284
c lw 89289
c lw 89293
c lw 89305
c lw 89309
c lw 89311
c lw 89312
c lw 89315
c lw 89316
c lw 89319
c lw 89342
c lw 89356
c lw 89362
c lw 89564
c lw 89860
c lw 90072
c lw 90109
c lw 90121
c lw 90169
c lw 90184
c lw 90242
c lw 90319
c lw 90331
c lw 90362
c lw 90404
c lw 90637
c lw 90688
c lw 90689
c lw 90692
c lw 90693
c lw 90709
c lw 90744
c lw 90759
c lw 90781
c lw 90782
c lw 90783
c lw 90786
c lw 90796
c lw 90854
c lw 90931
c lw 91060
c lw 91335
c lw 91337
c lw 91343
c lw 91574
c lw 91794
c lw 92493
c lw 92538
c lw 92749
c lw 92879
c lw 92888
c lw 92889
c lw 93605
c lw 93660
c lw 94395
c lw 94409
c lw 94600
c lw 94610
c lw 94612
c lw 94613
c lw 94614
c lw 94627
c lw 94629
c lw 94633
c lw 94817
c lw 94818
c lw 94824
c lw 94825
c lw 94828
c lw 94829
c lw 94832
c lw 94834
c lw 94841
c lw 94991
c lw 95169
c lw 95184
c lw 95186
c lw 95187
c lw 95206
c lw 95207
c lw 95210
c lw 95267
c lw 95268
c lw 95269
c lw 95271
c lw 95277
c lw 95279
c lw 95280
c lw 95282
c lw 95283
c lw 95284
c lw 95286
c lw 95351
c lw 95360
c lw 95676
c lw 96091
c lw 96534
c lw 96547
c lw 96551
c lw 96552
c lw 96553
c lw 96554
c lw 96555
c lw 96556
c lw 96557
c lw 96558
c lw 96580
c lw 96581
c lw 96582
c lw 96585
c lw 97063
c lw 97180
c lw 97653
c lw 98955
c lw 99062
c lw 99331
c lw 99335
c lw 99336
c lw 99338
c lw 99339
c lw 99340
c lw 99341
c lw 99342
c lw 99343
c lw 99344
c lw 99345
c lw 99346
c lw 99347
c lw 99348
c lw 99349
c lw 99350
c lw 99351
c lw 99633
c lw 99695
c lw 100313
c lw 100396
c lw 100634
c lw 100931
c lw 100934
c lw 100957
c lw 101199
c lw 101200
c lw 101201
c lw 101202
c lw 101205
c lw 101206
c lw 101207
c lw 101209
c lw 101210
c lw 101213
c lw 101214
c lw 101216
c lw 101439
c lw 101604
c lw 102150
c lw 102151
c lw 102152
c lw 102153
c lw 102154
c lw 102161
c lw 102162
c lw 102164
c lw 102165
c lw 102167
c lw 102171
c lw 102172
c lw 102175
c lw 102176
c lw 102177
c lw 102178
c lw 102179
c lw 102183
c lw 102187
c lw 102192
c lw 102205
c lw 102206
c lw 102207
c lw 102208
c lw 102210
c lw 102211
c lw 102212
c lw 102213
c lw 102214
c lw 102215
c lw 103572
c lw 103749
c lw 104595
c lw 104729
c lw 104815
c lw 104816
c lw 104817
c lw 104818
c lw 104819
c lw 104820
c lw 104821
c lw 104822
c lw 104823
c lw 104824
c lw 104825
c lw 104827
c lw 104828
c lw 104829
c lw 104830
c lw 104831
c lw 104832
c lw 104833
c lw 104834
c lw 104835
c lw 104836
c lw 104837
c lw 104839
c lw 104840
c lw 104841
c lw 104842
c lw 104843
c lw 104844
c lw 104845
c lw 104846
c lw 104847
c lw 104851
c lw 104852
c lw 104853
c lw 104854
c lw 104855
c lw 104856
c lw 104862
c lw 104996
c lw 104997
c lw 104998
c lw 104999
c lw 105117
c lw 105681
c lw 105782
c lw 105837
c lw 106365
c lw 106412
c lw 106434
c lw 106771
c lw 106829
c lw 106884
c lw 106885
c lw 106886
c lw 106887
c lw 106888
c lw 106889
c lw 106890
c lw 106891
c lw 107652
c lw 107837
c lw 108586
c lw 108805
c lw 108946
c lw 109011
c lw 109164
c lw 109165
c lw 109166
c lw 109167
c lw 109168
c lw 109169
c lw 109170
c lw 109171
c lw 109172
c lw 109173
c lw 109174
c lw 109175
c lw 109176
c lw 109177
c lw 109178
c lw 109179
c lw 109180
c lw 109181
c lw 109182
c lw 109183
c lw 109184
c lw 109185
c lw 109186
c lw 109187
c lw 109188
c lw 109189
c lw 109190
c lw 109191
c lw 109192