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-100-2_network-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 49
c lw 767
c lw 1709
c lw 2531
c lw 3167
c lw 3795
c lw 5251
c lw 6455
c lw 7217
c lw 8650
c lw 9721
c lw 10761
c lw 12088
c lw 12721
c lw 12780
c lw 13105
c lw 13381
c lw 13793
c lw 13852
c lw 14039
c lw 14416
c lw 14868
c lw 14895
c lw 15682
c lw 15815
c lw 16453
c lw 16529
c lw 17211
c lw 17303
c lw 17490
c lw 17715
c lw 18093
c lw 18102
c lw 18139
c lw 18712
c lw 18734
c lw 18756
c lw 18771
c lw 18786
c lw 19021
c lw 19299
c lw 19599
c lw 19691
c lw 19700
c lw 19878
c lw 19910
c lw 19916
c lw 20069
c lw 20106
c lw 20189
c lw 20207
c lw 20225
c lw 20308
c lw 20384
c lw 20718
c lw 20801
c lw 20822
c lw 20902
c lw 20981
c lw 21003
c lw 21022
c lw 21293
c lw 21394
c lw 21409
c lw 21431
c lw 21453
c lw 21468
c lw 21521
c lw 21851
c lw 22020
c lw 22113
c lw 22182
c lw 22224
c lw 22246
c lw 22261
c lw 22276
c lw 22290
c lw 22298
c lw 22331
c lw 22349
c lw 22351
c lw 22679
c lw 22717
c lw 22718
c lw 22750
c lw 23022
c lw 23045
c lw 23053
c lw 23054
c lw 23183
c lw 23196
c lw 23473
c lw 23733
c lw 24050
c lw 24076
c lw 24079
c lw 24091
c lw 24172
c lw 24177
c lw 24180
c lw 24269
c lw 24287
c lw 24370
c lw 24446
c lw 24524
c lw 24622
c lw 24656
c lw 24721
c lw 24799
c lw 24861
c lw 24928
c lw 25220
c lw 25693
c lw 25716
c lw 25753
c lw 25756
c lw 25758
c lw 25794
c lw 25831
c lw 25836
c lw 25839
c lw 25859
c lw 25862
c lw 25892
c lw 25902
c lw 25920
c lw 25962
c lw 25984
c lw 25999
c lw 26003
c lw 26014
c lw 26017
c lw 26028
c lw 26036
c lw 26069
c lw 26103
c lw 26270
c lw 26285
c lw 26345
c lw 26426
c lw 26472
c lw 26476
c lw 26531
c lw 26554
c lw 26573
c lw 26595
c lw 26610
c lw 26614
c lw 26615
c lw 26759
c lw 26832
c lw 26856
c lw 26912
c lw 26964
c lw 27855
c lw 27858
c lw 27978
c lw 28001
c lw 28002
c lw 28128
c lw 28145
c lw 28202
c lw 28217
c lw 28228
c lw 28232
c lw 28278
c lw 28282
c lw 28300
c lw 28302
c lw 28308
c lw 28319
c lw 28322
c lw 28333
c lw 28539
c lw 28546
c lw 28549
c lw 28557
c lw 28561
c lw 28599
c lw 28816
c lw 28875
c lw 28887
c lw 28910
c lw 28946
c lw 29014
c lw 29057
c lw 29064
c lw 29073
c lw 29082
c lw 29185
c lw 29224
c lw 29230
c lw 29241
c lw 29244
c lw 29255
c lw 29276
c lw 29294
c lw 29296
c lw 29300
c lw 29303
c lw 29311
c lw 29314
c lw 29321
c lw 29335
c lw 29436
c lw 29567
c lw 29710
c lw 29754
c lw 29851
c lw 29960
c lw 30263
c lw 30304
c lw 30331
c lw 30696
c lw 30702
c lw 30925
c lw 31183
c lw 31231
c lw 31430
c lw 31486
c lw 31512
c lw 31586
c lw 31785
c lw 31807
c lw 31888
c lw 32141
c lw 32167
c lw 32178
c lw 32331
c lw 32337
c lw 32369
c lw 32370
c lw 32379
c lw 32416
c lw 32457
c lw 32509
c lw 33323
c lw 33361
c lw 33370
c lw 33375
c lw 33416
c lw 33453
c lw 33462
c lw 33528
c lw 33554
c lw 33591
c lw 33768
c lw 33786
c lw 33929
c lw 33964
c lw 33972
c lw 34000
c lw 34047
c lw 34078
c lw 34164
c lw 34167
c lw 34328
c lw 34361
c lw 34363
c lw 34385
c lw 34441
c lw 34461
c lw 34466
c lw 34494
c lw 34538
c lw 34560
c lw 34602
c lw 34663
c lw 34731
c lw 34758
c lw 34784
c lw 34786
c lw 34791
c lw 34811
c lw 34829
c lw 34837
c lw 35240
c lw 35242
c lw 35252
c lw 35400
c lw 35695
c lw 35798
c lw 36031
c lw 36314
c lw 36330
c lw 36471
c lw 36623
c lw 36644
c lw 36660
c lw 36681
c lw 36685
c lw 36691
c lw 36832
c lw 36856
c lw 36882
c lw 36920
c lw 36941
c lw 36979
c lw 37006
c lw 37035
c lw 37046
c lw 37051
c lw 37055
c lw 37061
c lw 37067
c lw 37083
c lw 37104
c lw 37130
c lw 37185
c lw 37191
c lw 37232
c lw 37243
c lw 37245
c lw 37284
c lw 37304
c lw 37439
c lw 37444
c lw 37445
c lw 37450
c lw 37463
c lw 37470
c lw 37491
c lw 37493
c lw 37525
c lw 37529
c lw 37546
c lw 37552
c lw 37557
c lw 37568
c lw 37584
c lw 37590
c lw 37595
c lw 37597
c lw 37611
c lw 37612
c lw 37624
c lw 37628
c lw 37632
c lw 37635
c lw 37766
c lw 37767
c lw 37770
c lw 37773
c lw 37774
c lw 37777
c lw 37780
c lw 37786
c lw 37791
c lw 37794
c lw 37802
c lw 37804
c lw 37807
c lw 37810
c lw 37818
c lw 37825
c lw 37826
c lw 37828
c lw 37830
c lw 37835
c lw 37837
c lw 37847
c lw 37851
c lw 37853
c lw 37855
c lw 37856
c lw 37860
c lw 37862
c lw 37870
c lw 37874
c lw 37876
c lw 37883
c lw 37890
c lw 37896
c lw 37902
c lw 37903
c lw 37904
c lw 37907
c lw 37909
c lw 37912
c lw 37923
c lw 37925
c lw 37927
c lw 37931
c lw 37932
c lw 37933
c lw 37935
c lw 37940
c lw 37941
c lw 37946
c lw 37950
c lw 37951
c lw 37957
c lw 37959
c lw 38015
c lw 38022
c lw 38043
c lw 38045
c lw 38046
c lw 38049
c lw 38052
c lw 38053
c lw 38056
c lw 38059
c lw 38065
c lw 38070
c lw 38073
c lw 38081
c lw 38083
c lw 38086
c lw 38089
c lw 38097
c lw 38104
c lw 38105
c lw 38107
c lw 38109
c lw 38114
c lw 38116
c lw 38126
c lw 38130
c lw 38132
c lw 38137
c lw 38141
c lw 38143
c lw 38150
c lw 38157
c lw 38161
c lw 38163
c lw 38165
c lw 38166
c lw 38170
c lw 38172
c lw 38180
c lw 38184
c lw 38264
c lw 38302
c lw 38304
c lw 38315
c lw 38325
c lw 38326
c lw 38327
c lw 38328
c lw 38331
c lw 38333
c lw 38335
c lw 38336
c lw 38338
c lw 38339
c lw 38341
c lw 38342
c lw 38345
c lw 38346
c lw 38348
c lw 38349
c lw 38351
c lw 38352
c lw 38357
c lw 38367
c lw 38370
c lw 38373
c lw 38374
c lw 38375
c lw 38378
c lw 38379
c lw 38380
c lw 38382
c lw 38387
c lw 38388
c lw 38391
c lw 38393
c lw 38397
c lw 38398
c lw 38400
c lw 38402
c lw 38404
c lw 38405
c lw 38406
c lw 38408
c lw 38409
c lw 38410
c lw 38411
c lw 38413
c lw 38415
c lw 38417
c lw 38422
c lw 38658
c lw 38660
c lw 38661
c lw 38663
c lw 38665
c lw 38667
c lw 38668
c lw 38669
c lw 38671
c lw 38757
c lw 38798
c lw 38813
c lw 38849
c lw 39002
c lw 39003
c lw 39006
c lw 39008
c lw 39010
c lw 39011
c lw 39014
c lw 39017
c lw 39018
c lw 39019
c lw 39020
c lw 39021
c lw 39022
c lw 39041
c lw 39042
c lw 39043
c lw 39151
c lw 39177
c lw 39179
c lw 39180
c lw 39181
c lw 39182
c lw 39184
c lw 39185
c lw 39186
c lw 39188
c lw 39190
c lw 39192
c lw 39193
c lw 39194
c lw 39453
c lw 39488
c lw 39646
c lw 39658
c lw 39703
c lw 39787
c lw 39800
c lw 39850
c lw 39934
c lw 39984
c lw 39997
c lw 40242
c lw 40358
c lw 40685
c lw 40695
c lw 40779
c lw 40827
c lw 40829
c lw 40837
c lw 40842
c lw 41660
c lw 41674
c lw 41730
c lw 41783
c lw 41880
c lw 41999
c lw 42071
c lw 42630
c lw 42655
c lw 42661
c lw 42810
c lw 42851
c lw 42927
c lw 43101
c lw 43115
c lw 43304
c lw 43402
c lw 43552
c lw 43591
c lw 43735
c lw 43878
c lw 43977
c lw 43987
c lw 43997
c lw 44096
c lw 44239
c lw 44304
c lw 44474
c lw 44497
c lw 44553
c lw 44592
c lw 44596
c lw 44648
c lw 44774
c lw 44783
c lw 45222
c lw 45226
c lw 45232
c lw 45265
c lw 45287
c lw 45296
c lw 45310
c lw 45335
c lw 45348
c lw 45357
c lw 45378
c lw 45413
c lw 45452
c lw 45457
c lw 45733
c lw 45812
c lw 45813
c lw 45824
c lw 45862
c lw 45889
c lw 45984
c lw 46054
c lw 46234
c lw 46271
c lw 46417
c lw 46418
c lw 46456
c lw 46624
c lw 46684
c lw 46783
c lw 46799
c lw 46820
c lw 46838
c lw 46904
c lw 46943
c lw 46951
c lw 47048
c lw 47057
c lw 47075
c lw 47096
c lw 47145
c lw 47234
c lw 47240
c lw 47278
c lw 47305
c lw 47325
c lw 47592
c lw 47635
c lw 47732
c lw 47804
c lw 47824
c lw 47836
c lw 47875
c lw 47879
c lw 47894
c lw 47899
c lw 47976
c lw 48047
c lw 48063
c lw 48085
c lw 48096
c lw 48100
c lw 48107
c lw 48140
c lw 48143
c lw 48147
c lw 48149
c lw 48150
c lw 48155
c lw 48159
c lw 48172
c lw 48175
c lw 48180
c lw 48181
c lw 48188
c lw 48191
c lw 48193
c lw 48194
c lw 48202
c lw 48207
c lw 48209
c lw 48236
c lw 48246
c lw 48256
c lw 48323
c lw 48324
c lw 48328
c lw 48343
c lw 48347
c lw 48386
c lw 48391
c lw 48398
c lw 48437
c lw 48457
c lw 48461
c lw 48463
c lw 48464
c lw 48469
c lw 48473
c lw 48486
c lw 48489
c lw 48494
c lw 48495
c lw 48502
c lw 48515
c lw 48531
c lw 48553
c lw 48564
c lw 48568
c lw 48575
c lw 48608
c lw 48611
c lw 48627
c lw 48647
c lw 48771
c lw 48861
c lw 49024
c lw 49184
c lw 49247
c lw 49337
c lw 49348
c lw 49473
c lw 49493
c lw 49740
c lw 49886
c lw 50245
c lw 50246
c lw 50248
c lw 50249
c lw 50250
c lw 50251
c lw 50252
c lw 50253
c lw 50254
c lw 50255
c lw 50256
c lw 50258
c lw 50259
c lw 50260
c lw 50261
c lw 50264
c lw 50266
c lw 50267
c lw 50268
c lw 50269
c lw 50270
c lw 50271
c lw 50272
c lw 50273
c lw 50274
c lw 50275
c lw 50320
c lw 50756
c lw 50953
c lw 51247
c lw 51282
c lw 51550
c lw 51638
c lw 51698
c lw 51705
c lw 51712
c lw 51757
c lw 51808
c lw 51829
c lw 52015
c lw 52044
c lw 52047
c lw 52193
c lw 52307
c lw 52309
c lw 52326
c lw 52487
c lw 52522
c lw 52528
c lw 53103
c lw 53243
c lw 53315
c lw 53365
c lw 53417
c lw 53447
c lw 54096
c lw 54137
c lw 54194
c lw 54202
c lw 54204
c lw 54764
c lw 54809
c lw 54853
c lw 54912
c lw 54931
c lw 54958
c lw 54996
c lw 55010
c lw 55024
c lw 55033
c lw 55040
c lw 55048
c lw 55069
c lw 55090
c lw 55098
c lw 55113
c lw 55128
c lw 55151
c lw 55158
c lw 55188
c lw 55210
c lw 55216
c lw 55230
c lw 55234
c lw 55240
c lw 55246
c lw 55248
c lw 55250
c lw 55258
c lw 55268
c lw 55288
c lw 55290
c lw 55298
c lw 55302
c lw 55325
c lw 55337
c lw 55339
c lw 55340
c lw 55348
c lw 55396
c lw 55422
c lw 55440
c lw 55441
c lw 55449
c lw 55457
c lw 55467
c lw 55468
c lw 55469
c lw 55666
c lw 55737
c lw 55759
c lw 55775
c lw 55857
c lw 55933
c lw 55935
c lw 55936
c lw 55955
c lw 56183
c lw 56357
c lw 56371
c lw 56373
c lw 56384
c lw 56485
c lw 56486
c lw 56488
c lw 56489
c lw 56492
c lw 56534
c lw 56559
c lw 56560
c lw 56564
c lw 56567
c lw 56570
c lw 57322
c lw 57417
c lw 57467
c lw 57536
c lw 57662
c lw 57681
c lw 57735
c lw 57924
c lw 57944
c lw 57975
c lw 57981
c lw 58003
c lw 58007
c lw 58014
c lw 58057
c lw 58058
c lw 58061
c lw 58063
c lw 58068
c lw 58072
c lw 58104
c lw 58106
c lw 58108
c lw 58109
c lw 58111
c lw 58112
c lw 58114
c lw 58115
c lw 58116
c lw 58118
c lw 58119
c lw 58120
c lw 58122
c lw 58123
c lw 58124
c lw 58128
c lw 58129
c lw 58131
c lw 58132
c lw 58135
c lw 58137
c lw 58138
c lw 58139
c lw 58141
c lw 58148
c lw 58158
c lw 58159
c lw 58162
c lw 58165
c lw 58170
c lw 58175
c lw 58216
c lw 58232
c lw 58238
c lw 58260
c lw 58468
c lw 58539
c lw 58661
c lw 58664
c lw 58699
c lw 58702
c lw 58705
c lw 58706
c lw 58707
c lw 58721
c lw 58726
c lw 58732
c lw 58762
c lw 58767
c lw 58770
c lw 58772
c lw 58774
c lw 58777
c lw 58778
c lw 58780
c lw 58781
c lw 58784
c lw 58833
c lw 58876
c lw 58879
c lw 58882
c lw 58883
c lw 58884
c lw 58898
c lw 58903
c lw 58904
c lw 58908
c lw 58909
c lw 58939
c lw 58944
c lw 58947
c lw 58949
c lw 58950
c lw 58951
c lw 58952
c lw 58953
c lw 58954
c lw 58955
c lw 58958
c lw 58959
c lw 58960
c lw 58961
c lw 58962
c lw 58963
c lw 58964
c lw 58965
c lw 58966
c lw 58968
c lw 58969
c lw 58970
c lw 58971
c lw 58972
c lw 58973
c lw 58974
c lw 58975
c lw 58976
c lw 58977
c lw 58978
c lw 58979
c lw 58980
c lw 58981
c lw 58982
c lw 58983
c lw 58984
c lw 58985
c lw 58986
c lw 58987
c lw 58988
c lw 58989
c lw 58990
c lw 58994
c lw 59007
c lw 59008
c lw 59009
c lw 59010
c lw 59011
c lw 59012
c lw 59014
c lw 59015
c lw 59017
c lw 59020
c lw 59021
c lw 59022
c lw 59023
c lw 59025
c lw 59064
c lw 59069
c lw 59102
c lw 59141
c lw 59186
c lw 59188
c lw 59196
c lw 59213
c lw 59231
c lw 59233
c lw 59234
c lw 59239
c lw 59240
c lw 59242
c lw 59249
c lw 59258
c lw 60304
c lw 60384
c lw 60685
c lw 60704
c lw 60784
c lw 60828
c lw 60873
c lw 60893
c lw 60895
c lw 60897
c lw 60904
c lw 60905
c lw 60913
c lw 60914
c lw 60915
c lw 60918
c lw 60920
c lw 60921
c lw 60922
c lw 60926
c lw 60934
c lw 60937
c lw 61799
c lw 61833
c lw 61925
c lw 63124
c lw 63128
c lw 63248
c lw 63290
c lw 63305
c lw 63547
c lw 63650
c lw 63744
c lw 63931
c lw 64031
c lw 64034
c lw 64144
c lw 64276
c lw 64295
c lw 64339
c lw 64459
c lw 64463
c lw 64465
c lw 64482
c lw 64505
c lw 64520
c lw 64566
c lw 64582
c lw 64585
c lw 64655
c lw 64666
c lw 64682
c lw 64692
c lw 64695
c lw 64701
c lw 64789
c lw 64802
c lw 64813
c lw 64859
c lw 64870
c lw 64875
c lw 64878
c lw 64882
c lw 64892
c lw 64943
c lw 64946
c lw 64948
c lw 64962
c lw 64964
c lw 64969
c lw 64974
c lw 64977
c lw 64980
c lw 64983
c lw 64992
c lw 64997
c lw 65433
c lw 65651
c lw 65909
c lw 66068
c lw 66114
c lw 66338
c lw 66669
c lw 66670
c lw 66671
Killed
1799.953u 19.779s 30:20.07 99.9%	0+0k 0+0io 0pf+0w