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-60-2_network-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 369
c lw 1078
c lw 1760
c lw 2324
c lw 3267
c lw 4000
c lw 4125
c lw 5892
c lw 7256
c lw 8794
c lw 10434
c lw 11395
c lw 12822
c lw 13908
c lw 15705
c lw 15821
c lw 15998
c lw 16336
c lw 16357
c lw 16579
c lw 16930
c lw 17262
c lw 17568
c lw 17930
c lw 17967
c lw 18578
c lw 18788
c lw 18946
c lw 19728
c lw 20302
c lw 20325
c lw 20608
c lw 20629
c lw 20666
c lw 20820
c lw 20873
c lw 20978
c lw 21284
c lw 21341
c lw 21373
c lw 21430
c lw 21492
c lw 21595
c lw 21607
c lw 21623
c lw 21660
c lw 21687
c lw 21698
c lw 21702
c lw 21714
c lw 21739
c lw 21751
c lw 21755
c lw 21759
c lw 21764
c lw 21767
c lw 21775
c lw 21779
c lw 21781
c lw 21824
c lw 21844
c lw 21845
c lw 21880
c lw 21946
c lw 22043
c lw 22420
c lw 22832
c lw 22875
c lw 23485
c lw 23500
c lw 23539
c lw 23581
c lw 23764
c lw 23811
c lw 24012
c lw 24490
c lw 24584
c lw 24613
c lw 24640
c lw 24646
c lw 24712
c lw 24934
c lw 24945
c lw 24953
c lw 25000
c lw 25154
c lw 25211
c lw 25214
c lw 25377
c lw 25385
c lw 25396
c lw 25588
c lw 25624
c lw 25629
c lw 25714
c lw 25717
c lw 25753
c lw 25790
c lw 25797
c lw 26079
c lw 26336
c lw 26592
c lw 26598
c lw 26650
c lw 26669
c lw 26743
c lw 26886
c lw 27126
c lw 27228
c lw 27271
c lw 27365
c lw 27380
c lw 27456
c lw 27477
c lw 27619
c lw 27635
c lw 27686
c lw 27789
c lw 27938
c lw 28086
c lw 28138
c lw 28172
c lw 28174
c lw 28190
c lw 28277
c lw 28286
c lw 28313
c lw 28322
c lw 28409
c lw 28425
c lw 28427
c lw 28461
c lw 28513
c lw 28520
c lw 28601
c lw 28620
c lw 28661
c lw 28662
c lw 28678
c lw 28729
c lw 28744
c lw 28765
c lw 28799
c lw 28816
c lw 28827
c lw 28832
c lw 28909
c lw 28918
c lw 28947
c lw 29001
c lw 29042
c lw 29057
c lw 29084
c lw 29228
c lw 29326
c lw 29480
c lw 29515
c lw 29525
c lw 29535
c lw 29566
c lw 29586
c lw 29587
c lw 29620
c lw 29627
c lw 29628
c lw 29647
c lw 29667
c lw 29683
c lw 29721
c lw 29728
c lw 29734
c lw 29749
c lw 29769
c lw 29770
c lw 29796
c lw 29799
c lw 29804
c lw 29806
c lw 29807
c lw 29821
c lw 29826
c lw 29832
c lw 29837
c lw 29846
c lw 29848
c lw 29862
c lw 29883
c lw 29885
c lw 29886
c lw 30569
c lw 30588
c lw 30597
c lw 30598
c lw 30602
c lw 30603
c lw 30614
c lw 30630
c lw 30704
c lw 30705
c lw 30706
c lw 30708
c lw 30709
c lw 30711
c lw 30712
c lw 30713
c lw 30723
c lw 30724
c lw 30725
c lw 30726
c lw 30731
c lw 30737
c lw 30739
c lw 30742
c lw 30747
c lw 30754
c lw 30759
c lw 30760
c lw 30764
c lw 30765
c lw 30770
c lw 30771
c lw 30774
c lw 30775
c lw 30778
c lw 30779
c lw 30783
c lw 30784
c lw 30785
c lw 30787
c lw 30792
c lw 30800
c lw 30802
c lw 30810
c lw 30812
c lw 30813
c lw 30818
c lw 30819
c lw 30821
c lw 30822
c lw 30825
c lw 30826
c lw 30830
c lw 30833
c lw 30841
c lw 30842
c lw 30843
c lw 30854
c lw 30860
c lw 30863
c lw 30869
c lw 31063
c lw 31067
c lw 31082
c lw 31086
c lw 31095
c lw 31096
c lw 31100
c lw 31101
c lw 31112
c lw 31128
c lw 31137
c lw 31172
c lw 31317
c lw 31448
c lw 31656
c lw 31657
c lw 31868
c lw 31887
c lw 31896
c lw 31897
c lw 31901
c lw 31902
c lw 31913
c lw 31929
c lw 32009
c lw 32015
c lw 32016
c lw 32068
c lw 32070
c lw 32071
c lw 32073
c lw 32074
c lw 32075
c lw 32085
c lw 32086
c lw 32087
c lw 32088
c lw 32089
c lw 32093
c lw 32099
c lw 32161
c lw 32196
c lw 32197
c lw 32198
c lw 32199
c lw 32204
c lw 32211
c lw 32216
c lw 32217
c lw 32221
c lw 32222
c lw 32223
c lw 32224
c lw 32225
c lw 32227
c lw 32228
c lw 32231
c lw 32232
c lw 32235
c lw 32236
c lw 32240
c lw 32255
c lw 32259
c lw 32260
c lw 32261
c lw 32263
c lw 32268
c lw 32270
c lw 32276
c lw 32278
c lw 32286
c lw 32288
c lw 32289
c lw 32294
c lw 32295
c lw 32296
c lw 32297
c lw 32298
c lw 32300
c lw 32301
c lw 32302
c lw 32304
c lw 32306
c lw 32309
c lw 32317
c lw 32318
c lw 32319
c lw 32330
c lw 32331
c lw 33065
c lw 34090
c lw 34178
c lw 34198
c lw 34219
c lw 34405
c lw 34412
c lw 34413
c lw 34417
c lw 34420
c lw 34426
c lw 34428
c lw 34429
c lw 34430
c lw 34441
c lw 34444
c lw 34447
c lw 34450
c lw 34456
c lw 34460
c lw 34471
c lw 34480
c lw 34481
c lw 34485
c lw 34486
c lw 34500
c lw 34511
c lw 34513
c lw 34529
c lw 34530
c lw 34553
c lw 34557
c lw 34558
c lw 34561
c lw 34620
c lw 34624
c lw 34633
c lw 34634
c lw 34638
c lw 34639
c lw 34650
c lw 34666
c lw 34675
c lw 34710
c lw 34728
c lw 34755
c lw 34759
c lw 34818
c lw 34819
c lw 34944
c lw 34945
c lw 34947
c lw 34948
c lw 34949
c lw 34959
c lw 34960
c lw 34961
c lw 34962
c lw 34963
c lw 34964
c lw 34990
c lw 35004
c lw 35073
c lw 35074
c lw 35076
c lw 35077
c lw 35078
c lw 35082
c lw 35083
c lw 35099
c lw 35110
c lw 35111
c lw 35115
c lw 35116
c lw 35125
c lw 35143
c lw 35152
c lw 35175
c lw 35178
c lw 35179
c lw 35183
c lw 35184
c lw 35214
c lw 35243
c lw 35247
c lw 35256
c lw 35257
c lw 35259
c lw 35261
c lw 35262
c lw 35273
c lw 35289
c lw 35298
c lw 35308
c lw 35309
c lw 35310
c lw 35311
c lw 35313
c lw 35314
c lw 35316
c lw 35317
c lw 35318
c lw 35323
c lw 35325
c lw 35333
c lw 35414
c lw 35466
c lw 35614
c lw 35757
c lw 35825
c lw 35867
c lw 35997
c lw 36031
c lw 36099
c lw 36105
c lw 36136
c lw 36151
c lw 36221
c lw 36254
c lw 36271
c lw 36323
c lw 36337
c lw 36401
c lw 36607
c lw 36610
c lw 36624
c lw 36652
c lw 36663
c lw 36680
c lw 36806
c lw 36823
c lw 36874
c lw 36891
c lw 36909
c lw 36916
c lw 36933
c lw 36974
c lw 36977
c lw 37002
c lw 37059
c lw 37149
c lw 37269
c lw 37309
c lw 37440
c lw 37447
c lw 37464
c lw 37505
c lw 37528
c lw 37545
c lw 37624
c lw 37778
c lw 37925
c lw 37932
c lw 37947
c lw 37949
c lw 37990
c lw 38011
c lw 38013
c lw 38015
c lw 38025
c lw 38044
c lw 38056
c lw 38073
c lw 38076
c lw 38077
c lw 38094
c lw 38097
c lw 38111
c lw 38139
c lw 38144
c lw 38150
c lw 38155
c lw 39502
c lw 39567
c lw 39640
c lw 39646
c lw 39659
c lw 39669
c lw 39681
c lw 39684
c lw 39698
c lw 39701
c lw 39714
c lw 39721
c lw 39752
c lw 39762
c lw 39769
c lw 39779
c lw 39786
c lw 39787
c lw 39788
c lw 39812
c lw 39914
c lw 40287
c lw 40551
c lw 40603
c lw 40648
c lw 40654
c lw 40852
c lw 40978
c lw 41113
c lw 41198
c lw 41214
c lw 41471
c lw 41482
c lw 41601
c lw 41604
c lw 41661
c lw 41717
c lw 41905
c lw 41983
c lw 42077
c lw 42086
c lw 42113
c lw 42131
c lw 42182
c lw 42183
c lw 42185
c lw 42591
c lw 42626
c lw 42633
c lw 42640
c lw 42646
c lw 42650
c lw 42659
c lw 42666
c lw 42683
c lw 42701
c lw 42724
c lw 42737
c lw 42739
c lw 42789
c lw 42811
c lw 42812
c lw 42831
c lw 42848
c lw 42853
c lw 42954
c lw 42977
c lw 43017
c lw 43018
c lw 43019
c lw 43068
c lw 43133
c lw 43200
c lw 43226
c lw 43232
c lw 43237
c lw 43324
c lw 43471
c lw 43631
c lw 43755
c lw 43949
c lw 44016
c lw 44042
c lw 44048
c lw 44053
c lw 44063
c lw 44274
c lw 44275
c lw 44286
c lw 44324
c lw 44351
c lw 44353
c lw 44391
c lw 44416
c lw 44417
c lw 44423
c lw 44428
c lw 44429
c lw 44515
c lw 44576
c lw 44638
c lw 44675
c lw 44723
c lw 44724
c lw 45069
c lw 45144
c lw 45182
c lw 45187
c lw 45644
c lw 45664
c lw 45665
c lw 45671
c lw 45672
c lw 45978
c lw 45982
c lw 45983
c lw 46015
c lw 46023
c lw 46045
c lw 46054
c lw 46063
c lw 46064
c lw 46069
c lw 46071
c lw 46077
c lw 46082
c lw 46092
c lw 46094
c lw 46107
c lw 46109
c lw 46119
c lw 46132
c lw 46143
c lw 46147
c lw 46157
c lw 46182
c lw 46371
c lw 46393
c lw 46413
c lw 46414
c lw 46420
c lw 46421
c lw 46434
c lw 46435
c lw 46436
c lw 46696
c lw 46697
c lw 46698
c lw 46699
c lw 46700
c lw 46709
c lw 46710
c lw 46711
c lw 46717
c lw 46718
c lw 46738
c lw 46760
c lw 46917
c lw 46949
c lw 46951
c lw 47061
c lw 47712
c lw 47748
c lw 47749
c lw 47750
c lw 47755
c lw 47756
c lw 47762
c lw 47764
c lw 47768
c lw 47770
c lw 47771
c lw 47780
c lw 47781
c lw 47785
c lw 47786
c lw 47789
c lw 47791
c lw 47792
c lw 47795
c lw 47796
c lw 47797
c lw 47798
c lw 47803
c lw 47804
c lw 47808
c lw 47819
c lw 47826
c lw 47827
c lw 47828
c lw 47829
c lw 47831
c lw 47832
c lw 47833
c lw 47834
c lw 47835
c lw 47839
c lw 47840
c lw 47842
c lw 47844
c lw 47846
c lw 47847
c lw 47848
c lw 47849
c lw 47850
c lw 47853
c lw 47855
c lw 47856
c lw 47858
c lw 47859
c lw 47860
c lw 47861
c lw 47862
c lw 47863
c lw 47864
c lw 47865
c lw 47866
c lw 47867
c lw 47869
c lw 47870
c lw 47871
c lw 47872
c lw 47873
c lw 47875
c lw 47876
c lw 47877
c lw 47878
c lw 47879
c lw 47880
c lw 47881
c lw 47882
c lw 47883
c lw 47884
c lw 47885
c lw 48227
c lw 48320
c lw 48437
c lw 49094
c lw 49147
c lw 49262
c lw 49266
c lw 49298
c lw 49357
c lw 49539
c lw 49605
c lw 49645
c lw 50331
c lw 50778
c lw 51413
c lw 51507
c lw 51760
c lw 51766
c lw 51789
c lw 51800
c lw 51826
c lw 51866
c lw 52212
c lw 52218
c lw 52235
c lw 52627
c lw 52630
c lw 52926
c lw 52930
c lw 53096
c lw 53195
c lw 53385
c lw 53545
c lw 53584
c lw 53606
c lw 53609
c lw 54020
c lw 54089
c lw 54249
c lw 54410
c lw 54427
c lw 54814
c lw 55518
c lw 55539
c lw 55627
c lw 55665
c lw 55754
c lw 55771
c lw 55794
c lw 55809
c lw 55869
c lw 55896
c lw 55907
c lw 55944
c lw 55947
c lw 56162
c lw 56175
c lw 56176
c lw 56177
c lw 56178
c lw 56179
c lw 56180
c lw 56181
c lw 56182
c lw 56183
c lw 56184
c lw 56185
c lw 56187
c lw 56191
c lw 56192
c lw 56193
c lw 56194
c lw 56195
c lw 56196
c lw 56197
c lw 56198
c lw 56199
c lw 56200
c lw 56201
c lw 56202
c lw 56203
c lw 56204
c lw 56205
c lw 56206
c lw 56207
c lw 56208
c lw 56209
c lw 56210
c lw 56211
c lw 56212
c lw 56213
c lw 56214
c lw 56215
Killed
1806.466u 13.287s 30:19.99 99.9%	0+0k 0+0io 0pf+0w